Georgio Nicolas
Georgio Nicolas
Symbolic Software
Verified email at georgio.xyz - Homepage
TitleCited byYear
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
82019
The system can't perform the operation now. Try again later.