Docteur en informatique, Maître de Conférence de l'Université Clermont Auvergne, j'effectue ma recherche dans le Thème Réseaux de capteurs 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".
Mission Cryptographie
Cette activité débranchée permet de
découvrir quelques chiffrements historiques, des
concepts de cryptographie moderne mais aussi comment
utiliser les mathématiques pour résoudre
certaines énigmes.
Mission
Cryprographie.
Projets en cours
Doctorants
En cours :
- Léo Robert (2019-) 5G security in the project ANR MobiS5
- Gael Marcadet (2021-) Security and Blockchain for D4N Project
- Charles Olivier-Anclin (2021-) Security of Signatures
- Frederic Hayek (2021-) Security of Blockchain
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
- Mirko Koscina (2017-2021) Security and Optimization of Blockchains and Associated Algorithms
Contact
- 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