PhD Defense

Lucca Hirschi

I will defend my PhD thesis on Friday, April 21st, 2017. The defense starts at 10:30 am, at ENS Paris-Saclay, in the Pavillon des Jardins conference room (see the map below). The defense will be held in English and followed by a "pot" in the adjacent room.


View larger map

Thesis

Jury

Abstract

Our information society notably relies on secure information exchanges typically achieved by security protocols. Given, their ubiquitous and critical nature, we need guarantees that they meet their goals such as privacy properties. Ideally, those guarantees are established via formal methods providing mathematical frameworks to analyse security protocols. However, existing methods suffer from scalability and precision issues that the present thesis aims to address.

First, to mitigate the scalability problem, we develop partial order reduction techniques enabling to dramatically reduce the search space to explore when analysing security protocols. Second, we solve a critical precision issue by adopting a privacy via sufficient conditions approach. We show that two well-designed and easily verifiable conditions always imply unlinkability and anonymity.

We confirm the practical relevance of our contributions by implementing them and using them for analysing real-life security protocols, finding new attacks and establishing new proofs.

About LSV