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