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 paperK Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 20166232016
2-) Automatic enforcement of expressive security policies using enclavesA Gollamudi, S ChongProceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016252016
3-) Mswasm: Soundly enforcing memory-safe execution of unsafe codeAE Michael, A Gollamudi, J Bosamiya, E Johnson, A Denlinger, ...Proceedings of the ACM on Programming Languages 7 (POPL), 425-454, 2023232023
4-) Information Flow Control for Distributed Trusted Execution EnvironmentsA Gollamudi, S Chong, O ArdenProceedings of 2019 IEEE 32nd Computer Security Foundations Symposium (CSF …, 2019222019
5-) Information Flow Control for Distributed Trusted Execution EnvironmentsA Gollamudi, S Chong, O Ardenhttps://dash.harvard.edu/handle/1/40614411, 2019222019