Statistics
Publications
1
Citations
20
H-Index
1
Active since
2020
Affiliations
The University of Melbourne(Current)
Georgio Nicolas is an author at The University of Melbourne specializing in verification, protocol verification, and cryptography.
Publications per year
2020–2020
1
1
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari · 2020 · 20 citations
1–1 of 1