FinalFilter: Asserting Security Properties of a Processor at Runtime.

Cynthia Sturton Matthew Hicks Samuel T. King Jonathan M. Smith

Published in: IEEE Micro (2019)

Keyphrases

security properties
formal model
security analysis
security requirements
security protocols
formal methods
cryptographic protocols
security vulnerabilities
smart card
key agreement
databases
wireless sensor networks
software systems
elliptic curve