avatar

Alexander Dax

Ph.D. Student
CISPA Helmholtz Center for Information Security
alexander (at) dax.saarland



Back

Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security

Abstract

Abstract and PDFs TBA

Co-Authors

avatar

Cas Cremers

 CISPA Helmholtz Center for Information Security
cremers (at) cispa.de
avatar

Charlie Jacomme

 PROSECCO, Inria Paris
charlie.jacomme (at) inria.fr
avatar

Mang Zhao

 CISPA Helmholtz Center for Information Security
mang.zhao (at) cispa.de


  1. Usenix
    Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security
    Distinguished Paper Award
    Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
    USENIX Security Symposium (USENIX), 2023.
    PDF Extended Slides Code BibTex