Lennart Beringer

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Adam Petcher 1 shared papers
• Andrew W. Appel 1 shared papers
• Katherine Q. Ye 1 shared papers
• Matthew Green 1 shared papers
• Naphat Sanguansin 1 shared papers