Katherine Q. Ye

Identifiers

No identifiers captured yet.

Papers (1)

1. Verified Correctness and Security of mbedTLS HMAC-DRBG cs.CR · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Adam Petcher 1 shared papers
• Andrew W. Appel 1 shared papers
• Lennart Beringer 1 shared papers
• Matthew Green 1 shared papers
• Naphat Sanguansin 1 shared papers