Anitha Gollamudi

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Information Flow Control

Distributed Shared Memory

Security Policies

Top Venues

Proc. ACM Program. Lang.

Publications

Anitha Gollamudi, Stephen Chong
Expressive Authorization Policies using Computation Principals. SACMAT (2023)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proc. ACM Program. Lang. 7 (POPL) (2023)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. CoRR (2022)
Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers
A Calculus for Flow-Limited Authorization. CoRR (2021)
Anitha Gollamudi, Stephen Chong, Owen Arden
Information Flow Control for Distributed Trusted Execution Environments. CSF (2019)
Peter Kraft, Amos Waterland, Daniel Y. Fu, Anitha Gollamudi, Shai Szulanski, Margo I. Seltzer
Automatic Parallelization of Sequential Programs. CoRR (2018)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella Béguelin
Formal Verification of Smart Contracts: Short Paper. PLAS@CCS (2016)
Anitha Gollamudi, Stephen Chong
Automatic enforcement of expressive security policies using enclaves. OOPSLA (2016)