Follow
Léo ROBERT
Title
Cited by
Cited by
Year
Card-based ZKP protocols for Takuzu and Juosan
D Miyahara, L Robert, P Lafourcade, S Takeshige, T Mizuki, K Shinagawa, ...
10th International Conference on Fun with Algorithms (FUN 2021), 2020
262020
Physical zero-knowledge proof for Suguru puzzle
L Robert, D Miyahara, P Lafourcade, T Mizuki
International Symposium on Stabilizing, Safety, and Security of Distributed …, 2020
172020
Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori
L Robert, D Miyahara, P Lafourcade, T Mizuki
Conference on Computability in Europe, 373-384, 2021
162021
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition
P Lafourcade, D Miyahara, T Mizuki, L Robert, T Sasaki, H Sone
Theoretical Computer Science 888, 41-55, 2021
132021
A cryptographic view of deep-attestation, or how to do provably-secure layer-linking
G Arfaoui, PA Fouque, T Jacques, P Lafourcade, A Nedelcu, C Onete, ...
International Conference on Applied Cryptography and Network Security, 399-418, 2022
22022
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
L Robert, D Miyahara, P Lafourcade, L Libralesso, T Mizuki
Information and Computation, 104858, 2021
22021
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake
L Robert, D Miyahara, P Lafourcade, T Mizuki
New Generation Computing 40 (1), 149-171, 2022
12022
Fast Cramer-Shoup Cryptosystem
P Lafourcade, L Robert, D Sow
18th International Conference on Security and Cryptography, SECRYPT 2021, 2021
12021
Linear generalized ElGamal encryption scheme
D Sow, P Lafourcade
Cryptology ePrint Archive, 2020
12020
Generic Construction for Identity-based Proxy Blind Signature
X Bultel, P Lafourcade, C Olivier-Anclin, L Robert
Lecture Notes in Computer Science, 2022
2022
MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing
O Blazy, PA Fouque, T Jacques, P Lafourcade, C Onete, L Robert
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1666-1673, 2022
2022
Faster Non-interactive Verifiable Computing
P Lafourcade, G Marcadet, L Robert
Cryptology ePrint Archive, 2022
2022
Optimal Threshold Padlock Systems
J Dreier, JG Dumas, P Lafourcade, L Robert
Journal of Computer Security, 1-34, 2021
2021
Fast Short and Fast Linear Cramer-Shoup
P Lafourcade, L Robert, D Sow
International Symposium on Foundations and Practice of Security, 121-136, 2020
2020
How to Teach the Undecidability of Malware Detection Problem and Halting Problem
M Journault, P Lafourcade, M More, R Poulain, L Robert
IFIP World Conference on Information Security Education, 159-169, 2020
2020
Card-based ZKP protocols for Takuzu and Juosan
P Lafourcade, D Miyahara, T Mizuki, A Nagao, H Sone, L Robert, ...
In 10th International Conference on Fun with Algorithms (FUN), 2020
2020
Linear Generalized ElGamal Encryption Scheme
P Lafourcade, L Robert, D Sow
International Conference on Security and Cryptography (SECRYPT), 2020
2020
MARSHAL: Improving Signal messaging protocol
L Robert, P Lafourcade, C Onete
The system can't perform the operation now. Try again later.
Articles 1–18