Anitha Boyapati Gollamudi

Anitha Boyapati Gollamudi

Harvard University - Cambridge / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1410250
person_outline Anitha Boyapati Gollamudi's MOST POPULAR ARTICLES
1-) Formal verification of smart contracts: Short paper Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
2-) Automatic enforcement of expressive security policies using enclaves Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
3-) MSWasm: Soundly enforcing memory-safe execution of unsafe code Proceedings of the ACM on Programming Languages 7 (POPL), 425-454, 2023
4-) Information Flow Control for Distributed Trusted Execution Environments Proceedings of 2019 IEEE 32nd Computer Security Foundations Symposium (CSF …, 2019
5-) Information Flow Control for Distributed Trusted Execution Environments https://dash.harvard.edu/handle/1/40614411, 2019