11
Publications
1.1K
Citations
10
H-Index
2014
Active since
Craig Costello is an author at Microsoft (United States) specializing in computer science, cryptography, and engineering.
Top concepts
EngineeringCryptographyComputer ScienceData SecurityHardware SecurityComputer EngineeringInformation SecurityFormal VerificationData PrivacyQuantum Science
Publications per year
2014–2019
11
11
Joppe W. Bos, Craig Costello, Léo Ducas et al. · 2016 · 290 citations · Full text
Hardware Security, Quantum Science, Quantum Cryptography +13
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell et al. · 2015 · 183 citations · Full text
Engineering, Verifiable Computation Protocols, Verification +22
Rows per page
1–5 of 11