A Formal Approach to Secure Speculation.
Kevin CheangCameron RasmussenSanjit A. SeshiaPramod SubramanyanPublished in: CSF (2019)
Keyphrases
- formal model
- identity management
- formal methods
- real time
- authentication scheme
- lightweight
- formal specification
- cryptographic protocols
- formal analysis
- key agreement protocol
- group communication
- formal language
- mathematical theory
- formal models
- security requirements
- security issues
- electronic commerce
- knowledge base
- databases