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 | 37 | 2020 |
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 | 24 | 2021 |
Physical zero-knowledge proof for Suguru puzzle L Robert, D Miyahara, P Lafourcade, T Mizuki Stabilization, Safety, and Security of Distributed Systems: 22nd …, 2020 | 24 | 2020 |
Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori L Robert, D Miyahara, P Lafourcade, T Mizuki Connecting with Computability: 17th Conference on Computability in Europe …, 2021 | 21 | 2021 |
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 | 17 | 2022 |
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 | 16 | 2022 |
Card-based ZKP protocol for nurimisaki L Robert, D Miyahara, P Lafourcade, T Mizuki Stabilization, Safety, and Security of Distributed Systems: 24th …, 2022 | 5 | 2022 |
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, ... Applied Cryptography and Network Security: 20th International Conference …, 2022 | 5 | 2022 |
Fast cramer-shoup cryptosystem P Lafourcade, L Robert, D Sow 18th International Conference on Security and Cryptography, SECRYPT 2021, 2021 | 5 | 2021 |
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 Usenix Security Symposium, 2023 | 3 | 2023 |
Hide a liar: card-based ZKP protocol for Usowan L Robert, D Miyahara, P Lafourcade, T Mizuki Theory and Applications of Models of Computation: 17th Annual Conference …, 2023 | 3 | 2023 |
Generic Construction for Identity-based Proxy Blind Signature X Bultel, P Lafourcade, C Olivier-Anclin, L Robert Foundations and Practice of Security: 14th International Symposium, FPS 2021 …, 2022 | 3 | 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 | 3 | 2022 |
Linear generalized ElGamal encryption scheme D Sow, L Robert, P Lafourcade Cryptology ePrint Archive, 2020 | 3 | 2020 |
Optimal threshold padlock systems J Dreier, JG Dumas, P Lafourcade, L Robert Journal of Computer Security 30 (5), 655-688, 2022 | 2 | 2022 |
Fast Short and Fast Linear Cramer-Shoup P Lafourcade, L Robert, D Sow Foundations and Practice of Security: 13th International Symposium, FPS 2020 …, 2021 | 2 | 2021 |
Linear Generalized ElGamal Encryption Scheme P Lafourcade, L Robert, D Sow International Conference on Security and Cryptography (SECRYPT), 2020 | 2 | 2020 |
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 | 2 | 2020 |
Faster Non-interactive Verifiable Computing P Lafourcade, G Marcadet, L Robert Cryptology ePrint Archive, 2022 | 1 | 2022 |
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 | 1 | 2020 |