Concepedia

Anitha Gollamudi

AG

Statistics

Publications

4

Citations

663

H-Index

4

Active since

2016

Affiliations

Harvard University Press(Current)

Anitha Gollamudi is an author at Harvard University Press specializing in formal verification, engineering, and computer science.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationCryptographyData PrivacyData SecurityFormal MethodsProgram AnalysisInformation Security

Publications per year

2016–2023

4

Publications

4

Formal Verification of Smart Contracts

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

Engineering, Information Security, Verification +23

Automatic enforcement of expressive security policies using enclaves

Anitha Gollamudi, Stephen Chong · 2016 · 23 citations

Engineering, Information Security, Computer Architecture +20

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 · 19 citations · Full text

Engineering, C-to-mswasm Compiler, Software Systems +19

Information Flow Control for Distributed Trusted Execution Environments

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

Engineering, Information Security, Software Analysis +17

1–4 of 4