ROBERT - Léo

All publications(26)
Date/Type Titre/URL/journal Domaines Notes SJR/Core Cit. GScholar
2024
ART
Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki
ZKP Protocols for Usowan, Herugolf, and Five Cells
Tsinghua Science and Technology - 2024
2024
COMM
Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert
Secure Keyless Multi-Party Storage Scheme
ESORICS : European Symposium On Research In Computer Security - 2024
Informatique/Cryptographie et sécurité
2024
COMM
Pascal Lafourcade, Léo Robert, Gael Marcadet
iUC-Secure Distributed File Transfer From Standard Attribute-based Encryption
International Conference on Cryptology in Africa - 2024
Informatique/Cryptographie et sécurité
2023
ART
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Physical ZKP protocols for Nurimisaki and Kurodoko
Theoretical Computer Science - 2023
Informatique/Cryptographie et sécurité
2023
COMM
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun
IWSEC : International Workshop on Security - 2023
Informatique/Cryptographie et sécurité
2023
COMM
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 2023 - The 32nd USENIX Security Symposium - 2023
Informatique/Cryptographie et sécurité
2023
ART
Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki
ZKP protocols for Usowan, Herugolf and Five Cells
Tsinghua Science and Technology - 2023
Informatique/Cryptographie et sécurité
2023
COMM
Pascal Lafourcade, Gael Marcadet, Léo Robert
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version)
ACM Symposium on Applied Computing - 2023
Informatique/Cryptographie et sécurité
2022
COMM
Mirko Koscina, Pascal Lafourcade, Gael Marcadet, Charles Olivier-Anclin, Léo Robert
A Survey on Identity-based Blind Signature
The 15th International Symposium on Foundations & Practice of Security (FPS – 2022) - 2022
Informatique/Cryptographie et sécurité
2022
COMM
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP Protocol for Nurimisaki
Symposium on Stabilization, Safety, and Security of Distributed Systems - 2022
Informatique/Cryptographie et sécurité
2022
ART
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal Threshold Padlock Systems
Journal of Computer Security - 2022
Informatique/Cryptographie et sécurité
2022
THESE
Léo Robert
Design and analysis of provably secure protocols : Applications to messaging and attestation
Informatique/Réseaux et télécommunications
2022
COMM
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Hide a Liar: Card-Based ZKP Protocol for Usowan
International Conference on Theory and Applications of Models of Computation - 2022
Informatique/Cryptographie et sécurité
2022
COMM
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Adina Nedelcu, Cristina Onete, Léo Robert, Pascal Lafourcade
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking
International Conference on Applied Cryptography and Network Security ACNS - 2022
Informatique/Cryptographie et sécurité
2022
COMM
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing
ACM Symposium on Applied Computing - 2022
Informatique/Cryptographie et sécurité
2022
ART
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake
New Generation Computing - 2022
Informatique/Cryptographie et sécurité
2022
ART
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki
Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆
Information and Computation - 2022
Informatique/Cryptographie et sécurité
2021
COMM
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert
Generic Construction for Identity-based Proxy Blind Signature
FPS 2022 : The 14th International Symposium on Foundations & Practice of Security - 2021
Informatique/Cryptographie et sécurité
2021
COMM
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Cramer-Shoup Cryptosystem
18th International Conference on Security and Cryptography, SECRYPT 2021 - 2021
Informatique/Cryptographie et sécurité
2021
COMM
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori
Computability in Europe: Logic and Theory of Algorithms - 2021
Informatique/Cryptographie et sécurité
2021
ART
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
Theoretical Computer Science - 2021
Informatique/Cryptographie et sécurité
2020
COMM
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Short and Fast Linear Cramer-Shoup
Foundations and Practice of Security - 13th International Symposium, FPS - 2020
Informatique/Cryptographie et sécurité
2020
COMM
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Physical Zero-Knowledge Proof for Suguru Puzzle
22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020 - 2020
Informatique/Cryptographie et sécurité
2020
COMM
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Hideaki Sone, Léo Robert, Kazumasa Shinagawa, So Takeshige
Card-based ZKP protocols for Takuzu and Juosan
Conference on Fun with Algorithms, FUN - 2020
Informatique/Cryptographie et sécurité
2020
COMM
Pascal Lafourcade, Léo Robert, Demba Sow
Linear Generalized ElGamal Encryption Scheme
International Conference on Security and Cryptography (SECRYPT) - 2020
Informatique/Cryptographie et sécurité
2020
COMM
Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert
How to Teach the Undecidability of Malware Detection Problem and Halting Problem
WISE13: The 13th World Conference on Information Security Education - 2020
Informatique/Cryptographie et sécurité