A Formal Analysis of Prefetching in Profiled Cache-Timing Attacks on Block Ciphers.
Chester RebeiroDebdeep MukhopadhyayPublished in: IACR Cryptol. ePrint Arch. (2015)
Keyphrases
- formal analysis
- prefetching
- block cipher
- response time
- hit rate
- access patterns
- cache replacement
- user perceived latency
- access latency
- web caching
- hash functions
- caching scheme
- web documents
- hit ratio
- web prefetching
- s box
- lightweight
- formal methods
- secret key
- cache misses
- agent model
- application layer
- web objects
- proxy cache
- security protocols
- power consumption