ROBERT - Léo
Toutes les publications (29)
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
COUV |
David Gerault, Pascal Lafourcade, Léo Robert
Distance-Bounding Protocols |
Informatique/Intelligence artificielle | ||
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
ART |
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun New Generation Computing - 2024 |
|||
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é | ||
2024
COUV |
Pascal Lafourcade, Gael Marcadet, Léo Robert
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption |
|||
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
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é | ||
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é | ||
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é |