Symbolic Verification of Cache Side-channel Freedom.
Sudipta ChattopadhyayAbhik RoychoudhuryPublished in: CoRR (2018)
Keyphrases
- model checking
- face verification
- prefetching
- query processing
- asynchronous circuits
- hit rate
- genetic algorithm
- smart card
- main memory
- cache management
- symbolic data
- web caching
- formal verification
- symbolic representation
- countermeasures
- access patterns
- databases
- verification method
- cache conscious
- neural learning
- replacement policy
- binary decision diagrams
- formal methods
- information systems