Quantifying the Information Leakage in Cache Attacks via Symbolic Execution

Sudipta Chattopadhyay 0001, Moritz Beck 0002, Ahmed Rezine, Andreas Zeller. Quantifying the Information Leakage in Cache Attacks via Symbolic Execution. ACM Trans. Embedded Comput. Syst., 18(1), 2019. [doi]

@article{ChattopadhyayBR19,
  title = {Quantifying the Information Leakage in Cache Attacks via Symbolic Execution},
  author = {Sudipta Chattopadhyay 0001 and Moritz Beck 0002 and Ahmed Rezine and Andreas Zeller},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3288758},
  researchr = {https://researchr.org/publication/ChattopadhyayBR19},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Embedded Comput. Syst.},
  volume = {18},
  number = {1},
}