Léo Robert

MCF au MIS, Université de Picardie Jules Verne, Amiens, France
31
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-04684884 v1

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-04621503 v1
Image document

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-04434814 v1
Image document

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-04335703 v1
Image document

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-03542477 v1
Image document

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-03542495 v1
Image document

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-03497369 v3
Image document

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-03419470 v1
Image document

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-04620459 v1
Image document

Secure Keyless Multi-Party Storage Scheme

Pascal Lafourcade , Lola-Baie Mallordy , Charles Olivier-Anclin , Léo Robert
ESORICS : European Symposium On Research In Computer Security, Sep 2024, Bydgoszcz, Poland. pp.279-298, ⟨10.1007/978-3-031-70896-1_14⟩
Communication dans un congrès hal-04540895 v1
Image document

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-03770735 v1
Image document

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-03909382 v1
Image document

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-04243661 v1
Image document

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-04403702 v1
Image document

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-03510612 v1
Image document

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-03934926 v1
Image document

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-04403799 v1
Image document

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-03450625 v1
Image document

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-04403634 v1
Image document

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-03209911 v1
Image document

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-03419423 v1
Image document

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-03435956 v1
Image document

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-02559556 v1
Image document

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-02559585 v1
Image document

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-03419449 v1

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-02559600 v1
Image document

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-03017693 v1

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-04702513 v1

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-05017782 v1

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-04515129 v1
Image document

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-03982449 v1