Accéder directement au contenu

Léo Robert

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

Publications

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

MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing

Olivier Blazy , Pierre-Alain Fouque , Thibaut Jacques , Pascal Lafourcade , Cristina Onete
ACM Symposium on Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩
Communication dans un congrès hal-03510612v1
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-04403634v1
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-03209911v1
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-03419423v1
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-03435956v1
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-03419449v1
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-02559556v1
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-02559585v1
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-03017693v1

Card-based ZKP protocols for Takuzu and Juosan

Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Atsuki Nagao , Hideaki Sone
Conference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy
Communication dans un congrès hal-02559600v1
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-03982449v1