Pranav Gaddamadugu

According to our database, Pranav Gaddamadugu authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Compositional Formal Verification of Zero-Knowledge Circuits.

Alessandro Coglio, Eric McCarthy, Eric Smith, Collin Chin, Pranav Gaddamadugu, Michel Dellepere

IACR Cryptol. ePrint Arch., 2023

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

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

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, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2019

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, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song

Proc. ACM Program. Lang., 2019