@inproceedings{dblp-conf-rv-tizpaz-niaric0019,
  title = {Efficient Detection and Quantification of Timing Leaks with Neural Networks},
  author = {Saeid Tizpaz-Niari and Pavol Cerný and Sriram Sankaranarayanan and Ashutosh Trivedi},
  year = {2019},
  url = {https://dblp.org/rec/conf/rv/Tizpaz-NiariC0019},
  booktitle = {RV 2019}
}