-
Assistant professor at the University of Orleans
-
Head of MASTER MIAGE 1
-
Algorithms and Programmation, License 1
-
Data Bases, License 3 MIAGE
-
Advanced Methods for Programmation, Master 1 MIAGE
-
Compilation, Master 1 IRAD
-
Logics and their applications, Master 1 IRAD
-
Security, Master 2 IRAD/MIAGE
-
Specification and Verification, Master 2 IRAD
For more details, follow me.
-
Research Themes
-
Verification
-
Term Rewriting - Reachability Analysis
-
Tree Automata
-
Java Bytecode Analysis
-
Security Protocols Verification
-
Tools
TA4SP (Tree Automata based on Automatic Approximations for the Analysis of Security Protocols) a push-button tool for security protocols verification
-
Research Projects
-
RAVAJ
-
AVISPA (Automated Validation of
Internet Security Protocols and Applications)
PROUVE (PRotocoles cryptographiques: OUtils de VErification automatique) -
ACI
SATIN (Security Analysis for Trusted Infrastructures and Network
protocols)
-
Thesis Award:
-
A'Doc 2006: First award of the SPIM graduate school of the Franche-Comté University
-
Press:
-
L'Est Républicain, February 15th, 2006: article (in Molière's tongue)
|