Arfaoui, G., Fouque, P.-A., Jacques, T., Lafourcade, P., Nedelcu, A., Onete, C., & Robert, L. (2022). A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking. In G. Ateniese & D. Venturi (Eds.), Applied Cryptography and Network Security - 20th International Conference, ACNS 2022, Rome, Italy, June 20-23, 2022, Proceedings (Vol. 13269). Springer. https://doi.org/10.1007/978-3-031-09234-3\_20

Blazy, O., Boureanu, I., Lafourcade, P., Onete, C., & Robert, L. (2023). How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. 32nd USENIX Security Symposium (USENIX Security 23). https://www.usenix.org/conference/usenixsecurity23/presentation/blazy

Blazy, O., Fouque, P.-A., Jacques, T., Lafourcade, P., Onete, C., & Robert, L. (2022). MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing. In J. Hong, M. Bures, J. W. Park, & T. Cerný (Eds.), SAC ’22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022. ACM. https://doi.org/10.1145/3477314.3507044

Bultel, X., Lafourcade, P., Olivier-Anclin, C., & Robert, L. (2021). Generic Construction for Identity-Based Proxy Blind Signature. Lecture Notes in Computer Science, 13291. https://doi.org/10.1007/978-3-031-08147-7\_3

Dreier, J., Dumas, J.-G., Lafourcade, P., & Robert, L. (2022). Optimal threshold padlock systems. J. Comput. Secur., 30(5). https://doi.org/10.3233/JCS-210065

Journault, M., Lafourcade, P., More, M., Poulain, R., & Robert, L. (2020). How to Teach the Undecidability of Malware Detection Problem and Halting Problem. In L. Drevin, S. von Solms, & M. Theocharidou (Eds.), Information Security Education. Information Security in Action - 13th IFIP WG 11.8 World Conference, WISE 13, Maribor, Slovenia, September 21-23, 2020, Proceedings (Vol. 579). Springer. https://doi.org/10.1007/978-3-030-59291-2\_11

Lafourcade, P., Marcadet, G., & Robert, L. (2023). RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol. The 38th ACM/SIGAPP Symposium On Applied Computing (SAC2023). https://eprint.iacr.org/2022/1748

Lafourcade, P., Miyahara, D., Mizuki, T., Robert, L., Sasaki, T., & Sone, H. (2021). How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition. Theor. Comput. Sci., 888. https://doi.org/10.1016/j.tcs.2021.07.019

Lafourcade, P., Robert, L., & Sow, D. (2020a). Fast Short and Fast Linear Cramer-Shoup. In G. Nicolescu, A. Tria, J. M. Fernandez, J.-Y. Marion, & J. Garcı́a-Alfaro (Eds.), Foundations and Practice of Security - 13th International Symposium, FPS 2020, Montreal, QC, Canada, December 1-3, 2020, Revised Selected Papers (Vol. 12637). Springer. https://doi.org/10.1007/978-3-030-70881-8\_8

Lafourcade, P., Robert, L., & Sow, D. (2020b, July). Linear Generalized ElGamal Encryption Scheme. International Conference on Security and Cryptography (SECRYPT). https://hal.archives-ouvertes.fr/hal-02559556

Lafourcade, P., Robert, L., & Sow, D. (2021). Fast Cramer-Shoup Cryptosystem. In S. D. C. di Vimercati & P. Samarati (Eds.), Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, July 6-8, 2021. SCITEPRESS. https://doi.org/10.5220/0010580607660771

Miyahara, D., Robert, L., Lafourcade, P., Takeshige, S., Mizuki, T., Shinagawa, K., Nagao, A., & Sone, H. (2020). Card-Based ZKP Protocols for Takuzu and Juosan. In M. Farach-Colton, G. Prencipe, & R. Uehara (Eds.), 10th International Conference on Fun with Algorithms (FUN 2021) (Vol. 157). Schloss Dagstuhl–Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FUN.2021.20

Robert, L., Miyahara, D., Lafourcade, P., Libralesso, L., & Mizuki, T. (2021). Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. Information and Computation. https://doi.org/https://doi.org/10.1016/j.ic.2021.104858

Robert, L., Miyahara, D., Lafourcade, P., & Mizuki, T. (2020). Physical Zero-Knowledge Proof for Suguru Puzzle. In S. Devismes & N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings (Vol. 12514). Springer. https://doi.org/10.1007/978-3-030-64348-5\_19

Robert, L., Miyahara, D., Lafourcade, P., & Mizuki, T. (2021). Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. In L. D. Mol, A. Weiermann, F. Manea, & D. Fernández-Duque (Eds.), Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings (Vol. 12813). Springer. https://doi.org/10.1007/978-3-030-80049-9\_37

Robert, L., Miyahara, D., Lafourcade, P., & Mizuki, T. (2022a). Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake. New Gener. Comput., 40(1).

Robert, L., Miyahara, D., Lafourcade, P., & Mizuki, T. (2022b). Card-Based ZKP Protocol for Nurimisaki. In S. Devismes, F. Petit, K. Altisen, G. A. D. Luna, & A. F. Anta (Eds.), Stabilization, Safety, and Security of Distributed Systems - 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15-17, 2022, Proceedings (Vol. 13751). Springer. https://doi.org/10.1007/978-3-031-21017-4\_19

Robert, L., Miyahara, D., Lafourcade, P., & Mizuki, T. (2022c). Hide a Liar: Card-Based ZKP Protocol for Usowan. In D.-Z. Du, D. Du, C. Wu, & D. Xu (Eds.), Theory and Applications of Models of Computation - 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings (Vol. 13571). Springer. https://doi.org/10.1007/978-3-031-20350-3\_17