Published papers may be copyrights of their respective
UniTraX: Protecting Data Privacy with Discoverable
Biases. With Reinhard Munz, Fabienne Eigner, Matteo Maffei and
Paul Francis. Conference on Principles of Security and
Trust (POST), 2018. To appear.
Relational reasoning for Markov chains in a probabilistic
guarded lambda calculus. With Alejandro Aguirre, Gilles
Barthe, Lars Birkedal, Aleš Bizjak and Marco
Gaboardi. European Symposium on Programming (ESOP),
2018. To appear.