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 = {}, }