Gastvortrag: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
Dienstag, 29.10.2019, 11.00 Uhr
Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9222
Vortragender: 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.