Usenix Security Symposium (USENIX-Security)
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt)
ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420
ACM Conference on Computer and Communications Security (CCS)
Looping for Good: Cyclic Proofs for Security Protocols
Modeling and Analyzing Security Protocols with Tamarin, A Comprehensive Guide
IEEE Symposium on Security and Privacy (S&P)
Impossibility Results for Post-Compromise Security in Real-World Communication Systems
