Current
- PEPR Cybersecurity Security Verification Protocol (SVP) (local PI, 2022-2028)
- On going collaboration with Swiss Post
Past:
- ANR Tecap (member, 2018-2021)
- ANR Sequoia (member, 2014-2019)
- ERC ProSecure project (PI, 2011-2016)
- ANR-SESUR AVOTÉ (PI, 2008-2011)
- PHC Alliance project on « Rafinement of security systems » (French PI)
- French-Tunisian project on e-voting protocols (French PI)
- ARA SSIA Formacrypt (member, local PI for the LORIA)
- ACI Jeunes chercheurs JC 9005 (PI, 2004-2007)
- RNTL PROUVÉ (in French) project (participant)
- ACI SATIN (member)
- RNTL EVA project (member)
- ACI Jeunes Chercheurs Intrusion (participant)
- ACI cryptologie VERNAM (member)
