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
222019
Verifpal: cryptographic protocol analysis for the real world
N Kobeissi, G Nicolas, M Tiwari
International Conference on Cryptology in India, 151-202, 2020
9*2020
The system can't perform the operation now. Try again later.
Articles 1–2