CAV 2019 : Quantitative Mitigation of Timing Side Channels

Reference

2019

detail

Quantitative Mitigation of Timing Side Channels

Saeid Tizpaz Niari, Pavol Černý, and Ashutosh Trivedi

CAV 2019: International Conference on Computer Aided Verification

Abstract

BibTeX

@string{CAV = "International Conference on Computer Aided Verification (CAV)"}
@inproceedings{sidechannels-cav19,
  author = {Saeid Tizpaz Niari and Pavol Černý and Ashutosh Trivedi},
  title = {Quantitative Mitigation of Timing Side Channels},
  booktitle = CAV,
  year = {2019},
  pages = {},
  
}