Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dominic Rizzo
conf.researchr.org general profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Registered user since Sun 4 Jun 2017
Name:
Dominic Rizzo
Affiliation:
Google
Contributions
2017
DSW
Invited Speaker of Building Faith in Experts: Applying Formal Verification to Cryptography within the DSW 2017-track
Share
x
Thu 21 Nov 15:59