conf.researchr.org / Dominic Rizzo
Registered user since Sun 4 Jun 2017
Name:Dominic Rizzo
Affiliation:Google
Contributions
| DSW 2017 | Invited Speaker of Building Faith in Experts: Applying Formal Verification to Cryptography within the DSW 2017-track |
Registered user since Sun 4 Jun 2017
Contributions
| DSW 2017 | Invited Speaker of Building Faith in Experts: Applying Formal Verification to Cryptography within the DSW 2017-track |