Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.
Cas CremersAlexander DaxCharlie JacommeMang ZhaoPublished in: USENIX Security Symposium (2023)
Keyphrases
- automated analysis
- key exchange
- key agreement protocol
- key distribution
- session key
- key management
- cryptographic protocols
- mutual authentication
- security analysis
- key exchange protocol
- secret key
- diffie hellman
- security properties
- authentication scheme
- authentication protocol
- security protocols
- biomedical imaging
- private key
- public key
- encryption scheme
- provably secure
- secure communication
- visual analysis
- modular exponentiation
- smart card
- encryption decryption
- password based authenticated key exchange
- security requirements
- wireless sensor networks
- high security
- digital signature
- cryptographic algorithms
- security services
- rfid systems
- standard model
- resource constrained
- rfid tags
- image sequences
- key establishment
- virtual private network
- multimedia