Usenix Security Symposium (USENIX-Security)
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
ACM Conference on Computer and Communications Security (CCS)
