Page de Leo ROBERT

2025

Communication dans un congrès

auteur

Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona

titre

Post-Compromise Security with Application-Level Key-Controls – with a comprehensive study of the 5G AKMA protocol

article

ASIA CCS '25: 20th ACM Asia Conference on Computer and Communications Security, Aug 2025, Hanoi, Vietnam. pp.231-247, ⟨10.1145/3708821.3733910⟩

identifiant

hal-05213262

Accès au bibtex

auteur

Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert

titre

Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability

article

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⟩

identifiant

hal-05203873

Accès au bibtex

auteur

Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert

titre

Analyse de l'autostabilisation de l'unisson synchrone via la satisfiabilité propositionnelle

article

Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France

identifiant

hal-05208079

Accès au texte intégral et bibtex

2024

Article dans une revue

auteur

Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki

titre

ZKP Protocols for Usowan, Herugolf, and Five Cells

article

Tsinghua Science and Technology, 2024, 29 (6), pp.1651-1666. ⟨10.26599/TST.2023.9010153⟩

identifiant

hal-04621503

Accès au bibtex

auteur

Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert

titre

Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun

article

New Generation Computing, 2024, ⟨10.1007/s00354-024-00274-1⟩

identifiant

hal-04684884

Accès au bibtex

Communication dans un congrès

auteur

Pascal Lafourcade, Léo Robert, Gael Marcadet

titre

iUC-Secure Distributed File Transfer From Standard Attribute-based Encryption

article

International Conference on Cryptology in Africa, Jul 2024, Douala, Cameroon

identifiant

hal-04620459

Accès au texte intégral et bibtex

Chapitre d'ouvrage

auteur

David Gerault, Pascal Lafourcade, Léo Robert

titre

Distance-Bounding Protocols

article

Léo Mendiboure (dir.). Cooperative Intelligent Transport Systems, Wiley, pp.273-293, 2024, 9781394325849. ⟨10.1002/9781394325849.ch11⟩

identifiant

hal-05017782

Accès au bibtex

auteur

Pascal Lafourcade, Gael Marcadet, Léo Robert

titre

iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption

article

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⟩

identifiant

hal-04702513

Accès au bibtex

auteur

Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert

titre

Towards a Privacy-Preserving Attestation for Virtualized Networks

article

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⟩

identifiant

hal-04515129

Accès au bibtex

Proceedings/Recueil des communications

auteur

Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert

titre

Secure Keyless Multi-Party Storage Scheme

article

ESORICS : European Symposium On Research In Computer Security, Sep 2024, Bydgoszcz, Poland. 3, Springer Nature Switzerland, pp.279-298, 2024, Lecture Notes in Computer Science, 978-3-031-70895-4. ⟨10.1007/978-3-031-70896-1_14⟩

identifiant

hal-04540895

Accès au texte intégral et bibtex

2023

Article dans une revue

auteur

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

titre

Physical ZKP protocols for Nurimisaki and Kurodoko

article

Theoretical Computer Science, 2023, 972, pp.114071. ⟨10.1016/j.tcs.2023.114071⟩

identifiant

hal-04434814

Accès au texte intégral et bibtex

auteur

Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki

titre

ZKP protocols for Usowan, Herugolf and Five Cells

article

Tsinghua Science and Technology, In press, ⟨10.26599/TST.20xx.9010⟩

identifiant

hal-04335703

Accès au texte intégral et bibtex

Communication dans un congrès

auteur

Ghada Arfaoui, Thibaut Jacques, Marc Antoine Lacoste, Cristina Onete, Léo Robert

titre

Towards a Privacy-preserving Attestation for Virtualized Networks

article

28th European Symposium on Research in Computer Security, Sep 2023, La Haye, Netherlands

identifiant

hal-04243661

Accès au texte intégral et bibtex

auteur

Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert

titre

Towards a Privacy-Preserving Attestation for Virtualized Networks

article

Proceedings of ESORICS 2024, Sep 2023, The Hague, Netherlands. pp.351-370, ⟨10.1007/978-3-031-51482-1_18⟩

identifiant

hal-04996169

Accès au bibtex

auteur

Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert

titre

Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun

article

IWSEC : International Workshop on Security, Aug 2023, Yokohama, France. pp.255-272, ⟨10.1007/978-3-031-41326-1_14⟩

identifiant

hal-04403702

Accès au texte intégral et bibtex

auteur

Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert

titre

How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment

article

USENIX 2023 - The 32nd USENIX Security Symposium, Aug 2023, Anaheim, United States. pp.5917--5934

identifiant

hal-03770735

Accès au texte intégral et bibtex

auteur

Pascal Lafourcade, Gael Marcadet, Léo Robert

titre

RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version)

article

ACM Symposium on Applied Computing, 2023, Tallinn, Estonia

identifiant

hal-03909382

Accès au texte intégral et bibtex

2022

Article dans une revue

auteur

Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert

titre

Optimal Threshold Padlock Systems

article

Journal of Computer Security, 2022, 30 (5), pp.655-688. ⟨10.3233/JCS-210065⟩

identifiant

hal-03497369

Accès au texte intégral et bibtex

auteur

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

titre

Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake

article

New Generation Computing, 2022

identifiant

hal-03542477

Accès au texte intégral et bibtex

auteur

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki

titre

Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆

article

Information and Computation, In press, ⟨10.1016/j.ic.2021.104858⟩

identifiant

hal-03542495

Accès au texte intégral et bibtex

Communication dans un congrès

auteur

Mirko Koscina, Pascal Lafourcade, Gael Marcadet, Charles Olivier-Anclin, Léo Robert

titre

A Survey on Identity-based Blind Signature

article

The 15th International Symposium on Foundations & Practice of Security (FPS – 2022), Dec 2022, Ottawa, Canada

identifiant

hal-03934926

Accès au texte intégral et bibtex

auteur

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

titre

Card-Based ZKP Protocol for Nurimisaki

article

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⟩

identifiant

hal-04403634

Accès au texte intégral et bibtex

auteur

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

titre

Hide a Liar: Card-Based ZKP Protocol for Usowan

article

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⟩

identifiant

hal-04403799

Accès au texte intégral et bibtex

auteur

Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Adina Nedelcu, Cristina Onete, Léo Robert, Pascal Lafourcade

titre

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

article

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

identifiant

hal-03450625

Accès au texte intégral et bibtex

auteur

Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert

titre

MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing

article

ACM Symposium on Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩

identifiant

hal-03510612

Accès au texte intégral et bibtex

Thèse

auteur

Léo Robert

titre

Conceptions et analyses de protocoles en sécurité prouvable : applications aux messageries et à l'attestation

article

Networking and Internet Architecture [cs.NI]. Université Clermont Auvergne, 2022. English. ⟨NNT : 2022UCFAC034⟩

identifiant

tel-03982449

Accès au texte intégral et bibtex

2021

Article dans une revue

auteur

Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone

titre

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

article

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

identifiant

hal-03419470

Accès au texte intégral et bibtex

Communication dans un congrès

auteur

Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert

titre

Generic Construction for Identity-based Proxy Blind Signature

article

FPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France

identifiant

hal-03435956

Accès au texte intégral et bibtex

auteur

Pascal Lafourcade, Léo Robert, Demba Sow

titre

Fast Cramer-Shoup Cryptosystem

article

18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩

identifiant

hal-03419423

Accès au texte intégral et bibtex

auteur

Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki

titre

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori

article

Computability in Europe: Logic and Theory of Algorithms, Jul 2021, à distance, Belgium

identifiant

hal-03209911

Accès au texte intégral et bibtex