DIKU Bits by Laouen Fernet

Speaker

Laouen Fernet, Postdoc in the SDPS (Software, Data, People & Society) section at DIKU.

Title

Automated Verification of Privacy

Abstract

Privacy is relevant for virtually any application handling data. Therefore, studying privacy is critical, especially considering the increasing digitalization of applications. In order to protect sensitive information, it is crucial to have strong guarantees that systems respect privacy.  But how do we do that, and what does privacy even mean here? In this talk, Laouen will introduce the notion of (alpha, beta)-privacy in security protocols and present his research about automated verification.