Anitha (Boyapati) Gollamudi
Anitha (Boyapati) Gollamudi
Verified email at g.harvard.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
5282016
Automatic enforcement of expressive security policies using enclaves
A Gollamudi, S Chong
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
222016
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
92019
Information Flow Control for Distributed Trusted Execution Environments
A Gollamudi, S Chong, O Arden
https://dash.harvard.edu/handle/1/40614411, 2019
92019
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
72016
Automatic Parallelization of Sequential Programs
P Kraft, A Waterland, DY Fu, A Gollamudi, S Szulanski, M Seltzer
https://arxiv.org/abs/1809.07684, 2018
32018
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
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–13