Georgio Nicolas

I'm interested in Cryptography and Online Privacy.
I work as a Research Engineer at Symbolic Software.

You can find me on:

{"GitHub" :  "@georgio",
 "Keybase":  "@georgio",
 "Twitter":  "@georgionic"}

I'm currently working on formally verifying Verifpal using Coq.

The next conference I will be attending is: Eurocrypt 2020.

List of random links

Cool Paper#1 (Almost) Related Talk
Cool Paper#2 (Draft) Related Talk
Cool Paper#3 Related Talk

Send me an email! [email protected]