Phd students:
Current Phd students:
Former Phd students:
- Héloïse Maurel 2018-2022, thesis: Deep learning applied on Web security
- Adam Khayam 2019-2022, thesis: A Meta-Approach to Describe Effectful and
Distributed Semantics, now a postdoc at Antique, INRIA.
- Mohamad El Laz 2017-2022, thesis: Provable Encryption Schemes for Distributed Systems, first permanent job after Inria in 2022 (industry): cryptography researcher at Taiko Labs, and part-time lecturer at the University of West Indies
- Lesly-Ann Daniel 2018-2021, thesis: Symbolic Binary-Level Code Analysis for Security (Application to the Detection of Microarchitectural Timing Attacks in Cryptographic Code), after Ph.D.: postdoc at KU Leuven
- Francis Dolière Somé 2015-2018, thesis: Web Applications Security and Privacy, after Inria: postdoc at TU Wien
- José Fragoso Santos 2011-2014, thesis: Enforcing Secure Information Flow in Client-Side Web Applications,
first permanent job after Inria in 2019 (academic career): Assistant Professor, IST Lisbon
- Zhengqin Luo 2008-2011, thesis: Semantics and Security of Web Applications,
first permanent job after Inria in 2012 (industrial career): working on gmail security at Google
Projects
Current research projects:
Archive (selection):