Applied and Provable Security

Organisatieprofiel

Introductie / missie

The Applied and Provable Security (APS) group covers research on applied cryptography and formal treatment of the security of cryptographic systems. 
Research topics span from the design of secure communication protocols to the foundational development of proof techniques and machine-checking security proofs using proof-assistants.
The research of APS has a strong focus on constructions that achieve post-quantum security, i.e., security against attackers in possession of a quantum computer.

Highlighted phrase

We work on the design of of cryptographic systems, accompanied with formal security guarantees

Organisatieprofiel

APS is part of the department of Mathematics and Computer Science, its members are co-affiliated with QT/e -- the Center for Quantum Materials and Technology Eindhoven -- as well as EHCI -- the Eindhoven Hendrik Casimir Institute. 

VN Doelstellingen voor duurzame ontwikkeling

In 2015 stemden de VN-lidstaten in met 17 wereldwijde duurzame ontwikkelingsdoelstellingen (Sustainable Development Goals, SDG's) om armoede te beëindigen, de planeet te beschermen en voor iedereen welvaart te garanderen. Ons werk draagt bij aan de volgende duurzame ontwikkelingsdoelstelling(en):

  • SDG 16 – Vrede, rechtvaardigheid en sterke instellingen

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Applied and Provable Security actief is. Deze onderwerplabels komen uit het werk van de leden van deze organisatie. Samen vormen ze een unieke vingerafdruk.

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
  • Batch Signatures, Revisited.

    Melchor, C. A., Albrecht, M. R., Bailleux, T., Bindel, N., Howe, J., Hülsing, A., Joseph, D. & Manzano, M., 2024, Topics in Cryptology – CT-RSA 2024 - Cryptographers’ Track at the RSA Conference 2024, Proceedings. Oswald, E. (uitgave). blz. 163-186 24 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14643 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Batch Signatures, Revisited.

    Melchor, C. A., Albrecht, M. R., Bailleux, T., Bindel, N., Howe, J., Hülsing, A., Joseph, D. & Manzano, M., 2023, In: IACR Cryptology ePrint Archive. 2023, blz. 492 1 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

  • Failing Gracefully: Decryption Failures and the Fujisaki-Okamoto Transform

    Hövelmanns, K., Hülsing, A. & Majenz, C., 2023, Advances in Cryptology -- ASIACRYPT 2022. Agrawal, S. & Lin, D. (uitgave). Cham: Springer Nature, blz. 414-443 30 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review