Anitha Gollamudi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | ILA: Correctness via Type Checking for Fully Homomorphic Encryption. | Tarakaram Gollamudi, Anitha Gollamudi, Joshua Gancher |
| 2023 | SACMAT | Expressive Authorization Policies using Computation Principals. | Anitha Gollamudi, Stephen Chong |
| 2016 | CCS | Formal Verification of Smart Contracts: Short Paper. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2016 | OOPSLA | Automatic enforcement of expressive security policies using enclaves. | Anitha Gollamudi, Stephen Chong |