Georgio Nicolas
Georgio Nicolas
Symbolic Software
Verified email at georgio.xyz - 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
142019
Verifpal: Cryptographic Protocol Analysis for Students and Engineers.
N Kobeissi
IACR Cryptol. ePrint Arch. 2019, 971, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–2