About me
I am a researcher, member of the PESTO team at LORIA, Nancy, FR.
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.
My curriculum vitae: english.
Recent activities
Updated the 22/01/2020
22/01/2020: Our paper On the semantics of communications when verifying equivalence properties has been accepted for publication in the Journal of Computer Security.
18/01/2020: The new version of DeepSec will soon be released. We're currently during the alpha stage but we hope that the official realease will come shortly. This release will also be shipped with the release of a brand new user interface DeepSec UI. Amongst the new features:
- Improved efficiency when verifying queries.
- Support for "Eavesdrop", "Classic" and "Private" semantics (POST'17) for verifying trace equivalence.
- Integration and improvements of session equivalence (CCS'19).
- Recording of the result of your runs that can be displayed in DeepSec UI.
- DeepSec UI supports all of DeepSec's abilities does but with a nice interface.
- Interactive display of attacks for violated queries.
- Interactive simulator for equivalence for verified queries.
11/11/2019: Our paper Exploiting Symmetries When Proving Equivalence Properties for Security Protocols was presented at the 26th ACM Conference on Computer and Communications Security, held in London
22/05/2018: We received a Distinguished Paper Award at the 2018 IEEE Symposium on Security and Privacy for our paper DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice.. See the Twitter post.
31/03/2018: Our paper A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif was accepted at the 2018 IEEE Computer Security Foundations Symposium
31/03/2018: Our tool paper The DEEPSEC prover was accepted at the 2018 International Conference on Computer Aided Verification!
01/01/2018: The ANR project TECAP is starting ! Kick-off meeting is schedueled next March.