This website uses technically necessary cookies to offer the best possible functionality.

Skip to Content Skip to Main Navigation Skip to Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Guest Talk: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs

Tuesday, October 29, 2019, 11:00am

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9u10

Speaker: Prof. Gilles Barthe (MPI Security and Privacy, Bochum, and IMDEA Software Institute, Madrid)

abstract:

Equivalence is one of the most fundamental notion in programming language. This talk will focus on program equivalence in the context of probabilistic programs. It will present several relaxations of equivalence inspired from examples drawn from security and privacy, and discuss several proof techniques for establishing these relaxed equivalences.