TY  - RPRT
TI  - Efficient Detection and Quantification of Timing Leaks with Neural Networks
AU  - Saeid Tizpaz-Niari
AU  - Pavol Cerny
AU  - Sriram Sankaranarayanan
AU  - Ashutosh Trivedi
PY  - 2019
UR  - https://arxiv.org/abs/1907.10159
ID  - 1907.10159
ER  -