Reference

2019
Efficient Detection and Quantification of Timing Leaks with Neural Networks
RV 2019: International Conference on Runtime Verification

Abstract

BibTeX

@string{RV = "International Conference on Runtime Verification (RV)"}
@inproceedings{nn-rv19,
  author = {Saeid Tizpaz Niari and Pavol Černý and Sriram Sankaranarayanan and Ashutosh Trivedi},
  title = {Efficient Detection and Quantification of Timing Leaks with Neural Networks},
  booktitle = RV,
  year = {2019},
  pages = {},
  
}