Scn2024

Our new paper titled “Security Model for Authenticated Key Exchange, Reconsidered” has been accepted at SCN 2024.