Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach.
Nadim KobeissiKarthikeyan BhargavanBruno BlanchetPublished in: EuroS&P (2017)
Keyphrases
- automated verification
- model checking
- cryptographic protocols
- security protocols
- automated reasoning
- formal verification
- key agreement protocol
- multi party
- key exchange
- key distribution
- authentication protocol
- message delivery
- communication protocol
- application level
- security mechanisms
- temporal logic
- fault tolerant
- security services
- smart card
- evolutionary algorithm
- machine learning