Quantitative Mitigation of Timing Side Channels
Reference
2019
Quantitative Mitigation of Timing Side Channels
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 = {}, }