Léo Robert

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 34

Top Topics

Blind Signature

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Pascal Lafourcade, Gaël Marcadet, Léo Robert
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption. AFRICACRYPT (2024)
Gael Marcadet, Pascal Lafourcade, Léo Robert
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol. SAC (2023)
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. IWSEC (2023)
Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert
Towards a Privacy-Preserving Attestation for Virtualized Networks. ESORICS (4) (2023)
Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete, Léo Robert
Privacy-preserving Attestation for Virtualized Network Infrastructures. IACR Cryptol. ePrint Arch. 2023 (2023)
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. USENIX Security Symposium (2023)
Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Léo Robert
The Calissons Puzzle. CoRR (2023)
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. IACR Cryptol. ePrint Arch. 2023 (2023)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Physical ZKP protocols for Nurimisaki and Kurodoko. Theor. Comput. Sci. 972 (2023)
Pascal Lafourcade, Gael Marcadet, Léo Robert
Faster Non-interactive Verifiable Computing. IACR Cryptol. ePrint Arch. 2022 (2022)
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. IACR Cryptol. ePrint Arch. 2022 (2022)
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing. IACR Cryptol. ePrint Arch. 2022 (2022)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Hide a Liar: Card-Based ZKP Protocol for Usowan. TAMC (2022)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake. New Gener. Comput. 40 (1) (2022)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. Inf. Comput. 285 (Part) (2022)
Mirko Koscina, Pascal Lafourcade, Gael Marcadet, Charles Olivier-Anclin, Léo Robert
A Survey on Identity-Based Blind Signature. FPS (2022)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal threshold padlock systems. J. Comput. Secur. 30 (5) (2022)
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing. SAC (2022)
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking. ACNS (2022)
Pascal Lafourcade, Gael Marcadet, Léo Robert
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version). IACR Cryptol. ePrint Arch. 2022 (2022)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP Protocol for Nurimisaki. SSS (2022)
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert
Generic Construction for Identity-Based Proxy Blind Signature. FPS (2021)
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone
How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition. Theor. Comput. Sci. 888 (2021)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. CiE (2021)
Daiki Miyahara, Léo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone
Card-Based ZKP Protocols for Takuzu and Juosan. FUN (2021)
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking. IACR Cryptol. ePrint Arch. 2021 (2021)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. IACR Cryptol. ePrint Arch. 2021 (2021)
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Cramer-Shoup Cryptosystem. SECRYPT (2021)
Pascal Lafourcade, Léo Robert, Demba Sow
Linear Generalized ElGamal Encryption Scheme. ICETE (2) (2020)
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Short and Fast Linear Cramer-Shoup. FPS (2020)
Demba Sow, Léo Robert, Pascal Lafourcade
Linear Generalized ElGamal Encryption Scheme. IACR Cryptol. ePrint Arch. 2020 (2020)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal Threshold Padlock Systems. CoRR (2020)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Physical Zero-Knowledge Proof for Suguru Puzzle. SSS (2020)
Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert
How to Teach the Undecidability of Malware Detection Problem and Halting Problem. WISE (2020)