Léo Robert

MCF au MIS, Université de Picardie Jules Verne, Amiens, France
34
Documents

Publications

Publications

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition

Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Léo Robert , Tatsuya Sasaki et al.

Theoretical Computer Science, 2021, 888, pp.41 - 55. ⟨10.1016/j.tcs.2021.07.019⟩

Article dans une revue hal-03419470v1
Deposit thumbnail

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 Miller et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing

Olivier Blazy , Pierre-Alain Fouque , Thibaut Jacques , Pascal Lafourcade , Cristina Onete et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking

Ghada Arfaoui , Pierre-Alain Fouque , Thibaut Jacques , Adina Nedelcu , Cristina Onete et al.

International Conference on Applied Cryptography and Network Security ACNS, Jun 2022, Rome, Italy

Communication dans un congrès hal-03450625v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Sone et al.

Conference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy

Communication dans un congrès hal-02559600v1
Deposit thumbnail

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

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

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

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
Deposit thumbnail

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