Friday 2 December 2016, 10:30: EasyCrypt, yet another theorem prover, Pierre-Yves Strub (LIX).

Cet exposé informel aura pour but de présenter EasyCrypt, un assistant à la preuve dédié à la preuve de programmes probabilistes, notamment dans le domaine de la cryptographie.