Adam Petcher is an author at Princeton University specializing in formal verification, formal methods, and computer science.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationCryptographyData SecurityHardware Security
Publications per year
2009–2017
3
3
Verified correctness and security of OpenSSL HMAC
Lennart Beringer, Adam Petcher, Katherine Q. Ye et al. · 2015 · 67 citations
Cryptographic Primitive, Engineering, Information Security +20
Verified Correctness and Security of mbedTLS HMAC-DRBG
Katherine Q. Ye, Matthew Green, Naphat Sanguansin et al. · 2017 · 51 citations · Full text
Aaron Stump, Morgan Deters, Adam Petcher et al. · 2009 · 39 citations
Dependently Typed Programming, Program Checking, Engineering +14
Rows per page
1–3 of 3