Automated Verification of Cryptographic Protocol Implementations.
Liudmila BabenkoIlya PisarevPublished in: DeSE (2019)
Keyphrases
- automated verification
- cryptographic protocols
- formal verification
- model checking
- automated reasoning
- standard model
- temporal logic
- knowledge representation
- authentication protocol
- security protocols
- graph theory
- social networks
- theorem prover
- real time
- software architecture
- information sharing
- social network analysis