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)
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.