PhD defence
Defence by PhD student Laouen Fernet
“A Logical Approach for Automated Reasoning about Privacy in Security Protocols”
Principal supervisor:
Associate Professor Sebastian Alexander Mödersheim, DTU Compute
Co-supervisor:
Professor Luca Viganò, King’s College London
Examiners:
Associate Professor Tyge Tiessen, DTU Compute
Professor Santiago Escobar, Universitat Politècnica de València
Senior Scientist Ralf Sasse, ETH Zürich
Chairperson at defence:
Associate Professor Carlos Esteban Budde, DTU Compute
A copy of the PhD thesis is available for reading at the department: Contact PhD School: phdschool@compute.dtu.dk
Everyone is welcome.
Reception will be hold in building 324, room 240.Contact
Laouen Pablo Killian Fernet PhD student lpkf@dtu.dk