フォロー
Léo ROBERT
タイトル
引用先
引用先
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
522020
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
452021
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
L Robert, D Miyahara, P Lafourcade, L Libralesso, T Mizuki
Information and Computation 285, 104858, 2022
422022
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
342022
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
292020
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
242021
Hide a liar: card-based ZKP protocol for Usowan
L Robert, D Miyahara, P Lafourcade, T Mizuki
International Conference on Theory and Applications of Models of Computation …, 2022
182022
Card-based ZKP protocol for Nurimisaki
L Robert, D Miyahara, P Lafourcade, T Mizuki
International Symposium on Stabilizing, Safety, and Security of Distributed …, 2022
152022
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
142022
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment
O Blazy, I Boureanu, P Lafourcade, C Onete, L Robert
32nd USENIX Security Symposium (USENIX Security 23), 5917-5934, 2023
122023
Check alternating patterns: a physical zero-knowledge proof for Moon-or-Sun
S Hand, A Koch, P Lafourcade, D Miyahara, L Robert
International Workshop on Security, 255-272, 2023
82023
Fast cramer-shoup cryptosystem
P Lafourcade, L Robert, D Sow
18th International Conference on Security and Cryptography, SECRYPT 2021, 2021
82021
Physical ZKP protocols for Nurimisaki and Kurodoko
L Robert, D Miyahara, P Lafourcade, T Mizuki
Theoretical Computer Science 972, 114071, 2023
72023
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
52022
Generic construction for identity-based proxy blind signature
X Bultel, P Lafourcade, C Olivier-Anclin, L Robert
International Symposium on Foundations and Practice of Security, 34-52, 2021
52021
Optimal threshold padlock systems
J Dreier, JG Dumas, P Lafourcade, L Robert
Journal of Computer Security 30 (5), 655-688, 2022
42022
Linear generalized elgamal encryption scheme
P Lafourcade, L Robert, D Sow
International Conference on Security and Cryptography (SECRYPT), 2020
42020
Faster Non-interactive Verifiable Computing
P Lafourcade, G Marcadet, L Robert
Cryptology ePrint Archive, 2022
32022
Fast short and fast linear cramer-shoup
P Lafourcade, L Robert, D Sow
Foundations and Practice of Security: 13th International Symposium, FPS 2020 …, 2021
32021
How to teach the undecidability of malware detection problem and halting problem
M Journault, P Lafourcade, M More, R Poulain, L Robert
Information Security Education. Information Security in Action: 13th IFIP WG …, 2020
32020
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20