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
82019
The system can't perform the operation now. Try again later.