25 citations
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024★ 2 cited
EDHOC is a New Security Handshake Standard: An Overview of Security Analysis
Elsa López Pérez, Inria Göran Selander, John Preuß Mattsson +2
The paper wraps up the call for formal analysis of the new security handshake protocol EDHOC by providing an overview of the protocol as it was standardized, a summary of the forma…
cs.CR2019★ 23 cited
Misbinding Attacks on Secure Device Pairing and Bootstrapping
Mohit Sethi, Aleksi Peltonen, Tuomas Aura
In identity misbinding attacks against authenticated key-exchange protocols, a legitimate but compromised participant manipulates the honest parties so that the victim becomes unkn…