A Formal Security Analysis of Even-Odd Sequential Prefetching in Profiled Cache-Timing Attacks

Sarani Bhattacharya, Chester Rebeiro, Debdeep Mukhopadhyay. A Formal Security Analysis of Even-Odd Sequential Prefetching in Profiled Cache-Timing Attacks. In Proceedings of the Hardware and Architectural Support for Security and Privacy 2016, HASP@ICSA 2016, Seoul, Republic of Korea, June 18, 2016. ACM, 2016. [doi]

@inproceedings{BhattacharyaRM16,
  title = {A Formal Security Analysis of Even-Odd Sequential Prefetching in Profiled Cache-Timing Attacks},
  author = {Sarani Bhattacharya and Chester Rebeiro and Debdeep Mukhopadhyay},
  year = {2016},
  doi = {10.1145/2948618.2948624},
  url = {http://doi.acm.org/10.1145/2948618.2948624},
  researchr = {https://researchr.org/publication/BhattacharyaRM16},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Hardware and Architectural Support for Security and Privacy 2016, HASP@ICSA 2016, Seoul, Republic of Korea, June 18, 2016},
  publisher = {ACM},
  isbn = {978-1-4503-4769-3},
}