I'm interested in Cryptography and Data Privacy.
You can find me on:
{
"GitHub" : "@georgio",
"Keybase" : "@georgio",
"LinkedIn": "@georgionic",
"Twitter" : "@georgionic",
}
Free Open Source Software projects I'm involved in:
{
"Noise Explorer" : [
"Test suite for protocols implementations",
"Implementation of Noise protocols in Rust",
"Noise Embedded",
],
"Verifpal" : [
"Formal verification of Verifpal's semantics and passive attacker analysis methodology",
"Automated generation of cryptographic protocol models in Coq",
],
}
The next conference I will be (virtually) attending is: ACM CCS 2020.
- Verifpal: Cryptographic Protocol Analysis for the Real World (Accepted - ACM CCSW 2020)
- How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol
- Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols (Published - IEEE Euro S&P 2019)
Tampopo
Computerphile
The joy of x
Cool Paper#1 Related Talk
Cool Paper#2
Related Talk
Send me an email!
[email protected]