@article{CTT100837279,
  author = {Gilles Barthe and Thomas Espitau and Justin Hsu and Tetsuya Sato and Pierre-Yves Strub},
  title = {Relational *-Liftings for Differential Privacy.},
  journal = {Logical Methods in Computer Science},
  year = 2019,
}

@inproceedings{CTT100854443,
  author = {Tetsuya Sato and Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Justin Hsu},
  title = {Formal Verification of Higher-order Probabilistic Programs},
  booktitle = {In Proceedings of the ACM on Programming Languages},
  year = 2019,
}