Login / Signup
Karen Klein
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 31
Top Topics
Security Threats
Formal Proof
Theorem Prover
Group Key Agreement
Top Venues
IACR Cryptol. ePrint Arch.
CRYPTO (2)
TCC (2)
EUROCRYPT (2)
</>
Publications
</>