3
Publications
228
Citations
3
H-Index
2012
Active since
Affiliations
Microsoft Research (United Kingdom)(Current)
Benjamin Kreuter is an author at Microsoft Research (United Kingdom) specializing in data security, formal methods, and engineering.
Top concepts
EngineeringCryptographyData PrivacyData SecurityFormal MethodsComputer ScienceHardware SecurityFormal VerificationComputer EngineeringBlockchain
Publications per year
2012–2015
3
3
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell et al. · 2015 · 183 citations · Full text
Engineering, Verifiable Computation Protocols, Verification +22
Billion-Gate Secure Computation with Malicious Adversaries
Benjamin Kreuter, Chih-Hao Shen · 2012 · 15 citations
Rows per page
1–3 of 3