| Noise Explorer: Fully automated modeling and verification for arbitrary Noise protocols N Kobeissi, G Nicolas, K Bhargavan 2019 IEEE European Symposium on Security and Privacy (EuroS&P), 356-370, 2019 | 54 | 2019 |
| Verifpal: Cryptographic protocol analysis for the real world N Kobeissi, G Nicolas, M Tiwari Progress in Cryptology–INDOCRYPT 2020: 21st International Conference on …, 2020 | 47 | 2020 |
| Verifpal: Cryptographic Protocol Analysis for Students and Engineers. N Kobeissi, G Nicolas, M Tiwari IACR Cryptol. ePrint Arch. 2019, 971, 2019 | 6 | 2019 |
| Panacea: non-interactive and stateless oblivious RAM K Cong, D Das, G Nicolas, J Park Cryptology ePrint Archive, 2023 | 4 | 2023 |
| Verifpal N Kobeissi, G Nicolas, M Tiwari Proceedings of the 2020 ACM SIGSAC Conference on Cloud Computing Security …, 2020 | 3 | 2020 |
| Poster: Panacea---Stateless and Non-Interactive Oblivious RAM K Cong, D Das, G Nicolas, J Park Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 1 | 2023 |
| Convolution-Friendly Image Compression in FHE A Mertens, G Nicolas, S Rovira Cryptology ePrint Archive, 2024 | | 2024 |
| Faster Private Decision Tree Evaluation for Batched Input from Homomorphic Encryption K Cong, J Kang, G Nicolas, J Park Cryptology ePrint Archive, 2024 | | 2024 |
