Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security

Publication
USENIX Security Symposium (USENIX Security), 2023 - To appear

Related