Docteur en informatique, Professeur des universités de l'Université Clermont Auvergne, j'effectue ma recherche dans le Thème Réseaux et Sécurité du LIMOS (UMR 6158) et mon enseignement au département Informatique de l'IUT et à l'ISIMA. De 2013 à 2016 dans le cadre de la chaire de confiance numérique j'ai organisé chaque mois un séminaire sur la confiance numérique.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Vidéo La révolution blockchain au festival Math en scène mars 2020.
Vidéo Fonctionnement et appropriation de la blockchain Webinaire Block4Coop, 24 septembre 2020.
Article de Nathalie Revol
dans Intersitces
sur l'ouvrage
"25
énigmes ludiques pour s'initier à la
cryptographie".
Podcast
NoLimitSecu sur l'ouvrage
"25
énigmes ludiques pour s'initier à la
cryptographie".
Mission Cryptographie
Projets en cours
- Européen SCALE
- Européen C-Roads Extended
- Projet ANR PRIVA-SIQ
- Projet European ASTRAL
- Projet European SCALE
Doctorants
En cours :
- 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
Passés:
- Marion Daubignard (2008-2012) (ANSSI): Formal Methods For Concrete Security Proofs
- Jannik Dreier (2010-2013) (Maître de conférences au LORIA): Formal Verification of Voting and Auction Protocols: From Privacy to Fairness and Verifiability
- Raphael Jamet (2011-2014) (Google) : Protocols and Models for the Security of Wireless Ad-Hoc Networks
- Ali Kassem (2012-2015) (Post-doc INRIA): Automated Verification of Exam, Cash, Reputation, and Routing Protocols
- Amrit Kumar (2013-2016) (President and Chief Scientific Officer of Zilliqa at Singapour): Security and Privacy of Hash-Based Software Applications
- Xavier Bultel (2014-2018) (Maître de conférences à l'INSA Bourges) Delegation Mechanisms for Public Key Primitives
- David Gérault (2015-2018) (Post-doc Singapoour): Security Analysis of Contactless Communication Protocols
- Matthieu Giraud (2016-2019) (Thales) Secure Distributed MapReduce Protocols How to have privacy-preserving cloud applications?
- Marwa Chaieb (2017-2020) Utilisation de la technologie Blockchain pour sécuriser le vote électronique en ligne
- 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
- Mirko Koscina (2017-2021) Security and Optimization of Blockchains and Associated Algorithms (CEO at Be-ys Pay), Cifre avec be-ys Research
- 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
- Octavio Pérez Kempner (2018-2022)(Post-doc, NTT Japon), Malleable Cryptography: Advances and Applications to Privacy-enhancing Technologies, Cifre avec be-ys Research
- Gael Marcadet (2021-2024) Design of Secure Multi-User Protocols : Application to Bandits, Ticketing and File Transfer D4N Project
- 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
- 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
Contact
- Tél ISIMA :
+33 4.73.40.71.17 - Tél IUT :
+33 4.73.17.71.16 - Mobile :
+33 6.83.54.90.70
+33 4.73.17.71.11
IUT de Clermont-Ferrand
Campus Universitaire des Cézeaux
63178 AUBIERE
FRANCE
- Mon nombre d'Erdos est 3 : Paul Erdos -> Noga Alon -> Sébastien Tixeuil
- Mes photos sur Flickr, 500px
- Quelques jeux pour la pédagogie
- Quelques concours
- Crypto-visuelle
- Poster-Collaboratif
- Jeu Transformations du plan
- PGP Key
- Tour de magie
- 7par7.net
- RadadaMontgolfières
- Cascade OSM kml
- Cascade IGN kml
- Slides
