Usenix Security Symposium (USENIX-Security)
Proceedings of the ACM Asia Conference on Computer and Communications Security
Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+
IEEE S&P 2026
DY* Unchained: Now with Composable Security Proofs and Precise Compromise Scenarios
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt)
ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420
Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
