A Formal Analysis of Prefetching in Profiled Cache-Timing Attacks on Block Ciphers.
Chester RebeiroDebdeep MukhopadhyayPublished in: J. Cryptol. (2021)
Keyphrases
- formal analysis
- prefetching
- block cipher
- response time
- hit rate
- access patterns
- cache replacement
- user perceived latency
- access latency
- caching scheme
- web caching
- s box
- web documents
- secret key
- lightweight
- hash functions
- web prefetching
- formal methods
- hit ratio
- cache misses
- web objects
- replacement policy
- application layer
- nearest neighbor
- data model
- machine learning
- security protocols
- agent model
- disk array