Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. - Nadim Kobeissi; Georgio Nicolas; Karthikeyan Bhargavan (EuroS&P, 2019)

Verifpal: Cryptographic Protocol Analysis for the Real World. - Nadim Kobeissi; Georgio Nicolas; Mukesh Tiwari (CCSW, 2020)

Poster: Panacea - Stateless and Non-Interactive Oblivious RAM. - Kelong Cong; Debajyoti Das 001; Georgio Nicolas; Jeongeun Park 001 (CCS, 2023)

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

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

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

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

Complex Elections via Threshold (Fully) Homomorphic Encryption. - Charlotte Bonte; Georgio Nicolas; Nigel P. Smart (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)