@misc{indiciae89b1b3f07d84, title = {Efficient Detection and Quantification of Timing Leaks with Neural Networks}, author = {Saeid Tizpaz-Niari and Pavol Cerny and Sriram Sankaranarayanan and Ashutosh Trivedi}, year = {2019}, url = {https://arxiv.org/abs/1907.10159}, note = {Source identifier: 1907.10159} }