Efficient Detection and Quantification of Timing Leaks with Neural Networks
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 = {},
}

