Associate Professor, Cornell
Co-director of the Initiative for Cryptocurrency and Contracts
An Illustration by CoinTelegraph.
I design and build systems that are efficient, provably secure, and friendly to programmers and users. My research
blends cryptography, programming languages, and secure hardware/software systems.
See my publications.
Hawk: privacy-preserving smart contracts
Programming language for authenticated data structures
Secure cloud storage (collection)