Katherine Q. Ye is an author at Princeton University specializing in data security, formal methods, and hardware security.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2015–2017
2
2
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
Rows per page
1–2 of 2