01/27/2026
11:00 : Detecting of timing leaks of programs using parametric timed model checking
Dylan Marinho (MoVe, LIP6, Sorbonne Université)
In this presentation I will first introduce the theoretical tools for analyzing timing leaks in programs. The notion of opacity was introduced in 2009 by Franck Cassez to assess whether a system can preserve a certain secret against an attacker's (timed) observation. In our work, …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Dylan Marinho (MoVe, LIP6, Sorbonne Université)
In this presentation I will first introduce the theoretical tools for analyzing timing leaks in programs. The notion of opacity was introduced in 2009 by Franck Cassez to assess whether a system can preserve a certain secret against an attacker's (timed) observation. In our work, …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
02/05/2026
14:00 : The Smoothed and Semi-Random Possibilities of Social Choice
Lirong Xia (Rutgers University-New Brunswick)
…
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Lirong Xia (Rutgers University-New Brunswick)
…
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Celebrate “75 years of computer science in France”
From CNRS Institut Blaise Pascal to LIP6
