"Gilles Barthe,Thomas Espitau,Justin Hsu,Tetsuya Sato,Pierre-Yves Strub","Relational *-Liftings for Differential Privacy.",,"Logical Methods in Computer Science",,"Volume 15","Issue 154",,2019,Dec.
"Tetsuya Sato,Alejandro Aguirre,Gilles Barthe,Marco Gaboardi,Deepak Garg,Justin Hsu","Formal Verification of Higher-order Probabilistic Programs","The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)","In Proceedings of the ACM on Programming Languages",,"Volume 3","Issue POPL",,2019,Jan.