Statistics
Publications
1
Citations
13
H-Index
1
Active since
2020
Affiliations
Google (United Kingdom)(Current)
D. Butler is an author at Google (United Kingdom) specializing in formal verification of cryptographic protocols, provable security, and commitment schemes.
Publications per year
2020–2020
1
1
1–1 of 1