Research interests: type systems, privacy, and optimization
Design goals for the Solana transaction fee mechanism & evaluation of SOTA proposals.
PrivGuard2022
Type system to enforce privacy regulations, including GDPR and HIPAA.
Duet2019
An E2E type system and secure enclave to statically enforce differential privacy.
Additional publications: Google Scholar