Sotabase
Home
Researchers
Career
·
Senior Staff Engineer
,
Provable
2025–2025
·
MS in Computer Science
,
UC Berkeley College of Engineering
2020–2021
Publications
(5)
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
Proc. ACM Program. Lang. · 2019
45
cited
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
Conference on Computer and Communications Security · 2022
19
cited
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
International Conference on Computer Aided Verification · 2022
14
cited
Compositional Formal Verification of Zero-Knowledge Circuits
IACR Cryptology ePrint Archive · 2023
12
cited
Edinburgh Research Explorer UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
2022
Sotabase
Pranav Gaddamadugu | Researcher Profile | Sotabase | Sotabase