@inproceedings{dblp-conf-cav-tizpaz-niaric019,
  title = {Quantitative Mitigation of Timing Side Channels},
  author = {Saeid Tizpaz-Niari and Pavol Cerný and Ashutosh Trivedi},
  year = {2019},
  url = {https://dblp.org/rec/conf/cav/Tizpaz-NiariC019},
  booktitle = {CAV (1) 2019}
}