I am a research fellow, member of the CASSIS team at Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
My main area of research is verification of security protocols. More specifically, I am interested in automating verification of privacy type properties related to RFID protocols, rooting protocols in ad-hoc network, electronic voting protocols, etc. I am working on extending the decision procedure APTE to handle cryptographic primitives such as exclusive or, blind signature, homomorphic functions, etc. Moreover, I'm also working on integrating side-channel attacks in automatic procedures as well as establishing modularity results for equivalence properties.
On the other hand, I am also looking into cloud computing security. In particular, I'm interested in creating a formal model adapted to protocol relying on the cloud as well as a model allowing us to characterise accountable system specific to authorities maintaining the cloud.
Updated the 15/05/2014
I've started a new post-doc position in the team Cassis in LORIA.
A new publication is added on my publication page:
- A conference paper at TACAS 2014: APTE: an Algorithm for Proving Trace Equivalence
A new version of APTE was released (v0.4beta).
Two new publications are added on my publication page.
- A conference paper at CAV 2013: Lengths may break privacy -- or how to check for equivalences with length.
- A journal paper at TCS 2013: Deciding equivalence-based properties using constraint solving.
A new version of APTE was released (v0.3beta). Moreover, a dedicated website was created for APTE. See APTE Website