Anitha Gollamudi

According to our database, Anitha Gollamudi authored at least 8 papers between 2016 and 2023.

Collaborative distances:

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

2023

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan

Proc. ACM Program. Lang., January, 2023

Expressive Authorization Policies using Computation Principals.

Anitha Gollamudi, Stephen Chong

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

2022

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan

CoRR, 2022

2021

A Calculus for Flow-Limited Authorization.

Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers

CoRR, 2021

2019

Information Flow Control for Distributed Trusted Execution Environments.

Anitha Gollamudi, Stephen Chong, Owen Arden

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Automatic Parallelization of Sequential Programs.

Peter Kraft, Amos Waterland, Daniel Y. Fu, Anitha Gollamudi, Shai Szulanski, Margo I. Seltzer

CoRR, 2018

2016

Automatic enforcement of expressive security policies using enclaves.

Anitha Gollamudi, Stephen Chong

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Formal Verification of Smart Contracts: Short Paper.

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

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016