Doctor in Computer Science, Professor at University Clermont Auvergne. I carry out my teaching at IUT in Computer Science department and my research activity in the Wireless Network group of LIMOS (UMR 6158). From 2013 up to 2016 I held the industrial chair of digital trust, I organised each month a seminar on digital trust.

I am mainly working in security, cryptography, formal verification of cryptographic protocols.

Current Projects

• Européen SCALE
• Européen C-Roads Extended
• Projet ANR PRIVA-SIQ
• Projet European ASTRAL
• Projet European SCALE

PhD Students

In progress:

• Shrey Mukund (2025-) Designing secure protocols in the presence of Byzantines and more powerfull intruders
• Osama Allabwani (2025-) Sécurité des mécanismes de stockage de données sensibles respectueux de la vie privée
• Oussama Nahnah (2024-) Distributed algorithms for robots
• Frederic Hayek (2021-2025) Security Analysis of Distributed Ledgers

Former:

1. Marion Daubignard (2008-2012) (ANSSI): Formal Methods For Concrete Security Proofs
2. Jannik Dreier (2010-2013) (Maître de conférences au LORIA): Formal Verification of Voting and Auction Protocols: From Privacy to Fairness and Verifiability
3. Raphael Jamet (2011-2014) (Google) : Protocols and Models for the Security of Wireless Ad-Hoc Networks
4. Ali Kassem (2012-2015) (Post-doc INRIA): Automated Verification of Exam, Cash, Reputation, and Routing Protocols
5. Amrit Kumar (2013-2016) (President and Chief Scientific Officer of Zilliqa at Singapour): Security and Privacy of Hash-Based Software Applications
6. Xavier Bultel (2014-2018) (Maître de conférences à l'INSA Bourges) Delegation Mechanisms for Public Key Primitives
7. David Gérault (2015-2018) (Post-doc Singapoour): Security Analysis of Contactless Communication Protocols
8. Matthieu Giraud (2016-2019) (Thales) Secure Distributed MapReduce Protocols How to have privacy-preserving cloud applications?
9. Marwa Chaieb (2017-2020) Utilisation de la technologie Blockchain pour sécuriser le vote électronique en ligne
10. Marius Lombard-Platet (2018-2021) (Post-doc au Luxembourg) Sécurité des protocoles et structures de données : modélisation et optimisation, Cifre avec be-ys Research
11. Mirko Koscina (2017-2021) Security and Optimization of Blockchains and Associated Algorithms (CEO at Be-ys Pay), Cifre avec be-ys Research
12. Léo Robert (2019-2022) (Maître de conférences à Amiens) Design and Verification of Security Protocols for Heterogeneous 5G loT Devices, project ANR MobiS5
13. Octavio Pérez Kempner (2018-2022)(Post-doc, NTT Japon), Malleable Cryptography: Advances and Applications to Privacy-enhancing Technologies, Cifre avec be-ys Research
14. Gael Marcadet (2021-2024) Security and Blockchain for D4N Project
15. Charles Olivier-Anclin (2022-2024) Modélisation et conception de schémas de signatures et de protocoles de paiements anonymes, Cifre avec Be-ys pay
16. Dhekra Mahmoud (2022-2025), Conception de protocoles de sécurité et analyse symbolique : Protocoles hybrides, Modèles d'adversaires dérivés et Théories équationnelles affinées, Slides, Projet ANR SEVERITAS

• My pictures on Flickr, 500px
• Few games for pedagogy
• PGP Key