Katherine Qinru Ye
Title
Cited by
Cited by
Year
Verified Correctness and Security of OpenSSL {HMAC}
L Beringer, A Petcher, QY Katherine, AW Appel
24th {USENIX} Security Symposium ({USENIX} Security 15), 207-221, 2015
912015
Verified correctness and security of mbedTLS HMAC-DRBG
KQ Ye, M Green, N Sanguansin, L Beringer, A Petcher, AW Appel
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
392017
The end of history? Using a proof assistant to replace language design with library design
A Chlipala, B Delaware, S Duchovni, J Gross, C Pit-Claudel, S Suriyakarn, ...
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
142017
Designing extensible, domain-specific languages for mathematical diagrams
K Ye, K Crane, J Aldrich, J Sunshine
Off the Beaten Track, 2017
42017
SUBSTANCE and STYLE: domain-specific languages for mathematical diagrams
W Ni, K Ye, J Sunshine, J Aldrich, K Crane
Domain-Specific Language Design and Implementation (DSLDI’17), 2017
32017
How Domain Experts Create Conceptual Diagrams and Implications for Tool Design
D Ma'ayan, W Ni, K Ye, C Kulkarni, J Sunshine
Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems …, 2020
2020
THE NOTORIOUS PRG: FORMAL VERIFICATION OF THE HMAC-DRBG PSEUDORANDOM NUMBER GENERATOR
K Ye
2016
Verified Correctness and Security of OpenSSL HMAC
A Petcher, L Beringer, K Ye, AW Appel
The system can't perform the operation now. Try again later.
Articles 1–8