Présentation
Je suis MCF au laboratoire MIS au sein de l'UPJV. Mes travaux portent principalement sur la sécurité prouvable de protocoles (communication, stockage, authentification,...).
J'enseigne au sein de l'UFR des Sciences au département informatique où je suis responsable pédagogique de la L3.
Axes de recherche
Sécurité prouvable
Protocoles de sécurité : communication, messagerie, stockage, authentification, calculs multi-parties.
Protocoles Zero-Knowledge Proofs
Construction de protocole avec des cartes à jouer permettant de prouver la détention d'un secret sans le révéler.
Enseignements 2025-2026
- Base de programmation TD/TP (L1)
- Expériences informatique TP (L1)
- Systèmes d'exploitation TD/TP (L2)
- SAE Réaliser un projet en langage C et système d'exploitation (L2)
- Cryptographie CM/TD (M1)
- Protocoles de sécurité avancée CM/TD/TP (3A - EIJV)
- Algorithmique des graphes TD (L2)
- Eléments de logique formelle et du raisonnement mathématique TD (L1)
- Architecture ordinateurs, représentation de l'information TD (L1)
- Sécurité des réseaux CM/TD/TP (M1)
- Protocoles avancés CM/TD/TP (M1)
Publications (sélection)
- Robert, L., Boureanu, I., Onete, C., Wesemeyer, S., Miller, R., Lafourcade, P., Rajaona, F. (2025). Post-Compromise Security with Application-Level Key-Controls – with a comprehensive study of the 5G AKMA protocol. AsiaCCS 2025, 231-247.
- Khoualdia, A., Cherif, S., Devismes, S., Robert, L. (2025). Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability. CP 2025: 19:1-19:21.
- Gerard, Y., Lafourcade, P., Mallordy, L.-B., Robert, L. (2025). Tilepaint and Aquarium Puzzles in Periodic Grids. DGMM 2025: 103-117.
- Hand, S. D., Koch, A., Lafourcade, P., Miyahara, D., Robert, L. (2024). Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun. New Gener. Comput. 42(3): 449-477.
- Lafourcade, P., Marcadet, G., Robert, L. (2024). iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption. AFRICACRYPT 2024: 174-198.
- Lafourcade, P., Mallordy, L.-B., Olivier-Anclin, C., Robert, L. (2024). Secure Keyless Multi-party Storage Scheme. ESORICS (3) 2024: 279-298.
Contact
Bureau 313, laboratoire
MIS
Email : leo.robert@u-picardie.fr
Tel : 03 22 82 59 10