Léo Robert MCF au MIS, Université de Picardie Jules Verne, Amiens, France

Publications

Article dans une revue (8)

Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun Samuel Hand,Alexander Koch,Pascal Lafourcade,Daiki Miyahara,Léo Robert New Generation Computing, 2024, ⟨10.1007/s00354-024-00274-1⟩ Article dans une revue hal-04684884v1
ZKP Protocols for Usowan, Herugolf, and Five Cells Daiki Miyahara,Léo Robert,Pascal Lafourcade,Takaaki Mizuki Tsinghua Science and Technology, 2024, 29 (6), pp.1651-1666. ⟨10.26599/TST.2023.9010153⟩ Article dans une revue hal-04621503v1
Physical ZKP protocols for Nurimisaki and Kurodoko Léo Robert,Daiki Miyahara,Pascal Lafourcade,Takaaki Mizuki Theoretical Computer Science, 2023, 972, pp.114071. ⟨10.1016/j.tcs.2023.114071⟩ Article dans une revue hal-04434814v1
ZKP protocols for Usowan, Herugolf and Five Cells Daiki Miyahara,Léo Robert,Pascal Lafourcade,Takaaki Mizuki Tsinghua Science and Technology, In press, ⟨10.26599/TST.20xx.9010⟩ Article dans une revue hal-04335703v1
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake Léo Robert,Daiki Miyahara,Pascal Lafourcade,Takaaki Mizuki New Generation Computing, 2022 Article dans une revue hal-03542477v1
Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆ Léo Robert,Daiki Miyahara,Pascal Lafourcade,Luc Libralesso,Takaaki Mizuki Information and Computation, In press, ⟨10.1016/j.ic.2021.104858⟩ Article dans une revue hal-03542495v1
Optimal Threshold Padlock Systems Jannik Dreier,Jean-Guillaume Dumas,Pascal Lafourcade,Léo Robert Journal of Computer Security, 2022, 30 (5), pp.655-688. ⟨10.3233/JCS-210065⟩ Article dans une revue hal-03497369v3
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition Pascal Lafourcade,Daiki Miyahara,Takaaki Mizuki,Léo Robert,Tatsuya Sasakiet al. Theoretical Computer Science, 2021, 888, pp.41 - 55. ⟨10.1016/j.tcs.2021.07.019⟩ Article dans une revue hal-03419470v1

Communication dans un congrès (23)

Tilepaint and Aquarium Puzzles in Periodic Grids Yan Gerard,Pascal Lafourcade,Lola-Baie Mallordy,Léo Robert 4th International Conference on Discrete Geometry and Mathematical Morphology-DGMM, International Association for Pattern Recognition (IAPR), Nov 2025, Groningen, Netherlands. pp.103-117, ⟨10.1007/978-3-032-09544-2_8⟩ Communication dans un congrès hal-05560664v1
Analyse de l'autostabilisation de l'unisson synchrone via la satisfiabilité propositionnelle Asma Khoualdia,Sami Cherif,Stéphane Devismes,Léo Robert Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France Communication dans un congrès hal-05208079v1
Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability Asma Khoualdia,Sami Cherif,Stéphane Devismes,Léo Robert 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. pp.19:1--19:21, ⟨10.4230/LIPIcs.CP.2025.19⟩ Communication dans un congrès hal-05203873v1
Post-Compromise Security with Application-Level Key-Controls – with a comprehensive study of the 5G AKMA protocol Ioana Boureanu,Cristina Onete,Stephan Wesemeyer,Léo Robert,Rhys Milleret al. ASIA CCS '25: 20th ACM Asia Conference on Computer and Communications Security, Aug 2025, Hanoi, Vietnam. pp.231-247, ⟨10.1145/3708821.3733910⟩ Communication dans un congrès hal-05213262v1
iUC-Secure Distributed File Transfer From Standard Attribute-based Encryption Pascal Lafourcade,Léo Robert,Gael Marcadet International Conference on Cryptology in Africa, Jul 2024, Douala, Cameroon Communication dans un congrès hal-04620459v1
Towards a Privacy-Preserving Attestation for Virtualized Networks Ghada Arfaoui,Thibaut Jacques,Marc Lacoste,Cristina Onete,Léo Robert Proceedings of ESORICS 2024, Sep 2023, The Hague, Netherlands. pp.351-370, ⟨10.1007/978-3-031-51482-1_18⟩ Communication dans un congrès hal-04996169v1
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment Olivier Blazy,Ioana Boureanu,Pascal Lafourcade,Cristina Onete,Léo Robert USENIX 2023 - The 32nd USENIX Security Symposium, Aug 2023, Anaheim, United States. pp.5917--5934 Communication dans un congrès hal-03770735v1
Towards a Privacy-preserving Attestation for Virtualized Networks Ghada Arfaoui,Thibaut Jacques,Marc Antoine Lacoste,Cristina Onete,Léo Robert 28th European Symposium on Research in Computer Security, Sep 2023, La Haye, Netherlands Communication dans un congrès hal-04243661v1
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version) Pascal Lafourcade,Gael Marcadet,Léo Robert ACM Symposium on Applied Computing, 2023, Tallinn, Estonia Communication dans un congrès hal-03909382v1
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun Samuel Hand,Alexander Koch,Pascal Lafourcade,Daiki Miyahara,Léo Robert IWSEC : International Workshop on Security, Aug 2023, Yokohama, France. pp.255-272, ⟨10.1007/978-3-031-41326-1_14⟩ Communication dans un congrès hal-04403702v1
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing Olivier Blazy,Pierre-Alain Fouque,Thibaut Jacques,Pascal Lafourcade,Cristina Oneteet al. ACM Symposium on Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩ Communication dans un congrès hal-03510612v1
A Survey on Identity-based Blind Signature Mirko Koscina,Pascal Lafourcade,Gael Marcadet,Charles Olivier-Anclin,Léo Robert The 15th International Symposium on Foundations & Practice of Security (FPS – 2022), Dec 2022, Ottawa, Canada Communication dans un congrès hal-03934926v1
Hide a Liar: Card-Based ZKP Protocol for Usowan Léo Robert,Daiki Miyahara,Pascal Lafourcade,Takaaki Mizuki International Conference on Theory and Applications of Models of Computation, Sep 2022, Tianjin (China), China. pp.201-217, ⟨10.1007/978-3-031-20350-3_17⟩ Communication dans un congrès hal-04403799v1
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking Ghada Arfaoui,Pierre-Alain Fouque,Thibaut Jacques,Adina Nedelcu,Cristina Oneteet al. International Conference on Applied Cryptography and Network Security ACNS, Jun 2022, Rome, Italy Communication dans un congrès hal-03450625v1
Card-Based ZKP Protocol for Nurimisaki Léo Robert,Daiki Miyahara,Pascal Lafourcade,Takaaki Mizuki Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferand, France. pp.285-298, ⟨10.1007/978-3-031-21017-4_19⟩ Communication dans un congrès hal-04403634v1
Fast Cramer-Shoup Cryptosystem Pascal Lafourcade,Léo Robert,Demba Sow 18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩ Communication dans un congrès hal-03419423v1
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori Léo Robert,Daiki Miyahara,Pascal Lafourcade,Takaaki Mizuki Computability in Europe: Logic and Theory of Algorithms, Jul 2021, à distance, Belgium Communication dans un congrès hal-03209911v1
Generic Construction for Identity-based Proxy Blind Signature Xavier Bultel,Pascal Lafourcade,Charles Olivier-Anclin,Léo Robert FPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France Communication dans un congrès hal-03435956v1
Fast Short and Fast Linear Cramer-Shoup Pascal Lafourcade,Léo Robert,Demba Sow Foundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France Communication dans un congrès hal-03419449v1
Linear Generalized ElGamal Encryption Scheme Pascal Lafourcade,Léo Robert,Demba Sow International Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France Communication dans un congrès hal-02559556v1
How to Teach the Undecidability of Malware Detection Problem and Halting Problem Matthieu Journault,Pascal Lafourcade,Malika More,Rémy Poulain,Léo Robert WISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia Communication dans un congrès hal-02559585v1
Card-based ZKP protocols for Takuzu and Juosan Pascal Lafourcade,Daiki Miyahara,Takaaki Mizuki,Atsuki Nagao,Hideaki Soneet al. Conference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy Communication dans un congrès hal-02559600v1
Physical Zero-Knowledge Proof for Suguru Puzzle Léo Robert,Daiki Miyahara,Pascal Lafourcade,Takaaki Mizuki 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020, Nov 2020, Austin, United States Communication dans un congrès hal-03017693v1

Chapitre d'ouvrage (3)

Distance-Bounding Protocols David Gerault,Pascal Lafourcade,Léo Robert Léo Mendiboure (dir.). Cooperative Intelligent Transport Systems, Wiley, pp.273-293, 2024, 9781394325849. ⟨10.1002/9781394325849.ch11⟩ Chapitre d'ouvrage hal-05017782v1
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption Pascal Lafourcade,Gael Marcadet,Léo Robert Serge Vaudenay; Christophe Petit. Progress in Cryptology - AFRICACRYPT 2024, 14861, Springer Nature Switzerland, pp.174-198, 2024, Lecture Notes in Computer Science, 978-3-031-64380-4. ⟨10.1007/978-3-031-64381-1_8⟩ Chapitre d'ouvrage hal-04702513v1
Towards a Privacy-Preserving Attestation for Virtualized Networks Ghada Arfaoui,Thibaut Jacques,Marc Lacoste,Cristina Onete,Léo Robert Computer Security – ESORICS 2023, 14347, Springer Nature Switzerland, pp.351-370, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-51482-1_18⟩ Chapitre d'ouvrage hal-04515129v1

Thèse (1)

Design and analysis of provably secure protocols : Applications to messaging and attestation Léo Robert Networking and Internet Architecture [cs.NI]. Université Clermont Auvergne, 2022. English. ⟨NNT : 2022UCFAC034⟩ Thèse tel-03982449v1