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 (PLAS@CCS, 2016)

Automatic enforcement of expressive security policies using enclaves. - Anitha Gollamudi; Stephen Chong (OOPSLA, 2016)

Automatic Parallelization of Sequential Programs. - Peter Kraft; Amos Waterland; Daniel Y. Fu; Anitha Gollamudi; Shai Szulanski; Margo I. Seltzer (CoRR, 2018)

Information Flow Control for Distributed Trusted Execution Environments. - Anitha Gollamudi; Stephen Chong; Owen Arden (CSF, 2019)

A Calculus for Flow-Limited Authorization. - Owen Arden; Anitha Gollamudi; Ethan Cecchetti; Stephen Chong; Andrew C. Myers (CoRR, 2021)

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)

Expressive Authorization Policies using Computation Principals. - Anitha Gollamudi; Stephen Chong (SACMAT, 2023)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Evan Johnson 001; Aidan Denlinger; Craig Disselkoen; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (Proc. ACM Program. Lang., 2023)