ROBERT - Léo
All publications(19)
| Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
|---|---|---|---|---|
| 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 Security Symposium - 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) SAC 23 - 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
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 The 17th Annual Conference on Theory and Applications of Models of Computation TAMC 2022 - 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 The 37th ACM/SIGAPP Symposium on Applied Computing, SAC (2022) - 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 Conference (CiE) - 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é |