Katherine Q. Ye

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Security Requirements

Data Encryption

Security Systems

Information Assurance

Top Venues

USENIX Security Symposium

Publications

Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer, Adam Petcher, Andrew W. Appel
Verified Correctness and Security of mbedTLS HMAC-DRBG. CoRR (2017)
Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer, Adam Petcher, Andrew W. Appel
Verified Correctness and Security of mbedTLS HMAC-DRBG. CCS (2017)
Lennart Beringer, Adam Petcher, Katherine Q. Ye, Andrew W. Appel
Verified Correctness and Security of OpenSSL HMAC. USENIX Security Symposium (2015)