A Formal Approach to Secure Speculation.

Kevin Cheang Cameron Rasmussen Sanjit A. Seshia Pramod Subramanyan

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

formal model
formal specification
security analysis
standard model
security issues
security model
formal models
security management
artificial intelligence
social networks
information systems
information sharing
smart card
user authentication
group communication
diffie hellman