Pantomime: Constructive Leakage Proofs via Simulation
PLDI, 2026
PhD student since 2025, working at the intersection of programming languages, security, and formal verification.
Publications
Symmetries in Sorting
TYPES 2025 Post-Proceedings (to appear), 2025