Follow
Georgio Nicolas
Georgio Nicolas
Research Assistant, imec-COSIC KU Leuven
Verified email at esat.kuleuven.be - Homepage
Title
Cited by
Cited by
Year
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
532019
Verifpal: Cryptographic protocol analysis for the real world
N Kobeissi, G Nicolas, M Tiwari
Progress in Cryptology–INDOCRYPT 2020: 21st International Conference on …, 2020
472020
Verifpal: Cryptographic Protocol Analysis for Students and Engineers.
N Kobeissi, G Nicolas, M Tiwari
IACR Cryptol. ePrint Arch. 2019, 971, 2019
62019
The system can't perform the operation now. Try again later.
Articles 1–3