Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. - Joseph P. Near; David Darais; Chike Abuah; Tim Stevens; Pranav Gaddamadugu; Lun Wang 001; Neel Somani; Mu Zhang 001; Nikhil Sharma; Alex Shan; Dawn Song (Proc. ACM Program. Lang., 2019)

UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. - Elizabeth Polgreen; Kevin Cheang; Pranav Gaddamadugu; Adwait Godbole; Kevin Laeufer; Shaokai Lin; Yatin A. Manerkar; Federico Mora 002; Sanjit A. Seshia (CAV (1), 2022)

Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. - Dayeol Lee; Kevin Cheang; Alexander Thomas; Catherine Lu; Pranav Gaddamadugu; Anjo Vahldiek-Oberwagner; Mona Vij; Dawn Song; Sanjit A. Seshia; Krste Asanovic (CCS, 2022)

Compositional Formal Verification of Zero-Knowledge Circuits. - Alessandro Coglio; Eric McCarthy; Eric Smith; Collin Chin; Pranav Gaddamadugu; Michel Dellepere (IACR Cryptol. ePrint Arch., 2023)