Maître de Conférences (Associate Professor) at Université de Lorraine.
Teaching at TELECOM Nancy and research in the PESTO team at LORIA.
Research
- protocol security
- (computer-assisted) formal verification of security protocols
- theoretical foundations (process algebra, rewriting, …)
- privacy-preserving computations and applications
I am co-developing the Tamarin prover.
I am co-chairing the Working Group on Formal Methods for Security.
Teaching
Current (at TELECOM Nancy):
- Introduction to Cryptography
- Introduction to Theoretical Computer Science
- Advanced Cryptography
- Protocol Security and Verification
Past:
- TELECOM Nancy: Object Oriented Programming
- ETH Zürich: Applied Security Laboratory, Security Engineering
- ITU Denmark: PhD Course on Code Scanning
- UJF–UFR IMA2G: Master SAFE: Excercises Security models
- ENSIMAG: M2 Crypto: Excercises Security models: proofs, protocols and politics
- UJF–UFR IM2AG: Lab excercises on networks
- UJF–DLST: Excercises on algorithms and functional programming in Caml, excercises on formal logic and reasoning
