URL has been copied successfully!
USENIX Security ’23 Automated Analysis Of Protocols That Use Authenticated Encryption: How Subtle AEAD Differences Can Impact Protocol Security
URL has been copied successfully!

Collecting Cyber-News from over 60 sources

USENIX Security ’23 Automated Analysis Of Protocols That Use Authenticated Encryption: How Subtle AEAD Differences Can Impact Protocol Security

by

Andy Stern
in

Tags:

Distinguished Paper Award Winner Authors/Presenters:Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao Many thanks to USENIX for publishing their …

First seen on securityboulevard.com

Jump to article: securityboulevard.com/2024/07/usenix-security-23-automated-analysis-of-protocols-that-use-authenticated-encryption-how-subtle-aead-differences-can-impact-protocol-security/

Loading

Share via Email
Share on Facebook
Tweet on X (Twitter)
Share on Whatsapp
Share on LinkedIn
Share on Xing
Copy link

also interesting:

  1. Telegram is NOT an Encrypted Messaging App, Must-See Documentaries
  2. Zoom Adding Post-Quantum End-to-End Encryption to Products
  3. Updated Fortanix Data Security Platform Adds File System Encryption
  4. KillSec Unveils Feature-Rich RaaS Platform with Encryption, DDoS Tools, and Data Stealer