Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.
Hamed NematiChristoph BaumannRoberto GuancialeMads DamPublished in: POST (2018)
Keyphrases
- countermeasures
- formal verification
- model checking
- information security
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- read write
- data storage
- rural areas
- security measures
- memory access
- java card
- replacement policy
- query processing
- prefetching
- data access
- program slicing
- temporal logic
- main memory
- case study
- cyber attacks
- data integrity
- file system
- power analysis
- miss ratio
- information warfare