Pre-constructed Publicly Verifiable Secret Sharing and Applications - Karim Baghery; Noah Knapen; Georgio Nicolas; Mahdi Rahimi (Applied Cryptography and Network Security - 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part I, 2025)

Convolution-Friendly Image Compression with FHE - Axel Mertens; Georgio Nicolas; Sergi Rovira (Progress in Cryptology - AFRICACRYPT 2025 - 16th International Conference on Cryptology in Africa, Rabat, Morocco, July 21-23, 2025, Proceedings, 2025)

Pre-Constructed Publicly Verifiable Secret Sharing and Applications - Karim Baghery; Noah Knapen; Georgio Nicolas; Mahdi Rahimi (IACR Cryptol. ePrint Arch., 2025)

What's the Matter? An In-Depth Security Analysis of the Matter Protocol - Sayon Duttagupta; Arman Kolozyan; Georgio Nicolas; Bart Preneel; Dave Singelée (IACR Cryptol. ePrint Arch., 2025)

Panacea: Non-Interactive and Stateless Oblivious RAM - Kelong Cong; Debajyoti Das; Georgio Nicolas; Jeongeun Park (9th IEEE European Symposium on Security and Privacy, EuroS&P 2024, Vienna, Austria, July 8-12, 2024, 2024)

Faster Private Decision Tree Evaluation for Batched Input from Homomorphic Encryption - Kelong Cong; Jiayi Kang; Georgio Nicolas; Jeongeun Park (Security and Cryptography for Networks - 14th International Conference, SCN 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part II, 2024)

Convolution-Friendly Image Compression in FHE - Axel Mertens; Georgio Nicolas; Sergi Rovira (IACR Cryptol. ePrint Arch., 2024)

Faster Private Decision Tree Evaluation for Batched Input from Homomorphic Encryption - Kelong Cong; Jiayi Kang; Georgio Nicolas; Jeongeun Park (IACR Cryptol. ePrint Arch., 2024)

Poster: Panacea - Stateless and Non-Interactive Oblivious RAM - Kelong Cong; Debajyoti Das; Georgio Nicolas; Jeongeun Park (Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, 2023)

Panacea: Non-interactive and Stateless Oblivious RAM - Kelong Cong; Debajyoti Das; Georgio Nicolas; Jeongeun Park (IACR Cryptol. ePrint Arch., 2023)

Verifpal: Cryptographic Protocol Analysis for the Real World - Nadim Kobeissi; Georgio Nicolas; Mukesh Tiwari (CCSW'20, Proceedings of the 2020 ACM SIGSAC Conference on Cloud Computing Security Workshop, Virtual Event, USA, November 9, 2020, 2020)

Verifpal: Cryptographic Protocol Analysis for the Real World - Nadim Kobeissi; Georgio Nicolas; Mukesh Tiwari (Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, 2020)

Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols - Nadim Kobeissi; Georgio Nicolas; Karthikeyan Bhargavan (IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019, 2019)