Concepedia

Anitha Gollamudi

AG

Statistics

Publications

4

Citations

680

H-Index

4

Active since

2016

Affiliations

Harvard University Press(Current)

Anitha Gollamudi is an author at Harvard University Press specializing in computing, computer science, and computer security.

ORCID

Publications per year

2016–2023

4

Publications

4

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text

, , +13

Automatic enforcement of expressive security policies using enclaves

Anitha Gollamudi, Stephen Chong · 2016 · 24 citations · Full text

, , +12

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya et al. · Proceedings of the ACM on Programming Languages · 2023 · 21 citations · Full text

, , +12

Information Flow Control for Distributed Trusted Execution Environments

Anitha Gollamudi, Stephen Chong, Owen Arden · 2019 · 15 citations · Full text

, , +13

1–4 of 4