Access content directly

Léo Robert

16
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 et al.
Usenix Security Symposium, Aug 2023, Anaheim, United States
Conference papers hal-03770735v1
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 et al.
USENIX 2023 - The 32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Conference papers hal-03815803v1
Image document

Hide a Liar: Card-Based ZKP Protocol for Usowan

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki
The 17th Annual Conference on Theory and Applications of Models of Computation TAMC 2022, Sep 2022, Tianjin, China
Conference papers hal-03767892v1
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.
The 37th ACM/SIGAPP Symposium on Applied Computing, SAC (2022), Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩
Conference papers hal-03510612v1
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⟩
Conference papers 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
Conference papers hal-03435956v1
Image document

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki
Computability in Europe Conference (CiE), Jul 2021, à distance, Belgium
Conference papers hal-03209911v1
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
Conference papers hal-03419449v1

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
Conference papers hal-02559600v1
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
Conference papers 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 et al.
WISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia
Conference papers 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
Conference papers hal-03017693v1