Follow
Anitha (Boyapati) Gollamudi
Anitha (Boyapati) Gollamudi
Verified email at uml.edu - Homepage
Title
Cited by
Cited by
Year
Formal verification of smart contracts: Short paper
K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
7662016
Automatic enforcement of expressive security policies using enclaves
A Gollamudi, S Chong
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
322016
Information Flow Control for Distributed Trusted Execution Environments
A Gollamudi, S Chong, O Arden
Proceedings of 2019 IEEE 32nd Computer Security Foundations Symposium (CSF …, 2019
212019
Information Flow Control for Distributed Trusted Execution Environments
A Gollamudi, S Chong, O Arden
https://dash.harvard.edu/handle/1/40614411, 2019
212019
Mswasm: Soundly enforcing memory-safe execution of unsafe code
AE Michael, A Gollamudi, J Bosamiya, E Johnson, A Denlinger, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 425-454, 2023
122023
Formal verification of smart contracts
B Karthikeyan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...
Proceedings of the ACM Workshop on Programming Languages and Analysis for …, 2016
112016
Automatic Parallelization of Sequential Programs
P Kraft, A Waterland, DY Fu, A Gollamudi, S Szulanski, M Seltzer
https://arxiv.org/abs/1809.07684, 2018
52018
Building secure SGX enclaves using F*, C/C++ and X64
A Gollamudi, C Fournet
2nd Workshop on Principles of Secure Compilation (PriSC) 10, 46, 2018
32018
Expressive Authorization Policies using Computation Principals
A Gollamudi, S Chong
Workshop on Foundations of Computer Security, 2021
12021
Secure-by-Construction Applications Using Trusted Execution Environments
A Gollamudi
Harvard University, 2021
2021
Automatic Enforcement of Expressive Security Policies using Enclaves
A Gollamudi, S Chong
https://dash.harvard.edu/handle/1/30168300, 2016
2016
Realizing C++11 Lambda Expression in Open64
J Absar, A Boyapati, D Das
Journal of Computer Science and Technology, 2012
2012
Session details: Types for Gradual Security and Verification of Security Protocols
A Gollamudi
Automatic Test Generation for String Manipulation Programs using Symbolic Execution
A Gollamudi, Z Naz
Decentralized Information Flow Control for Distributed Trusted Execution Environments
A Gollamudi, S Chong, O Arden
The system can't perform the operation now. Try again later.
Articles 1–15