Naphat Sanguansin

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Adam Petcher 1 shared papers
• Andrew W. Appel 1 shared papers
• Katherine Q. Ye 1 shared papers
• Lennart Beringer 1 shared papers
• Matthew Green 1 shared papers