Analyzing Hardware Security Properties of Processors through Model Checking.
Binod KumarAkshay Kumar JaiswalV. S. VineeshRushikesh ShindePublished in: VLSI Design (2020)
Keyphrases
- model checking
- security properties
- formal methods
- temporal logic
- formal specification
- model checker
- security requirements
- formal model
- formal verification
- temporal properties
- real time
- low cost
- verification method
- bounded model checking
- security analysis
- computation tree logic
- security protocols
- automated verification
- symbolic model checking
- timed automata
- transition systems
- epistemic logic
- cryptographic protocols
- linear temporal logic
- concurrent systems
- deterministic finite automaton
- binary decision diagrams
- description language