Anitha (Boyapati) Gollamudi
Anitha (Boyapati) Gollamudi
Verified email at g.harvard.edu - Homepage
TitleCited byYear
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
2672016
Automatic Enforcement of Expressive Security Policies using Enclaves
A Gollamudi, S Chong
https://dash.harvard.edu/handle/1/30168300, 2016
132016
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
Automatic Parallelization of Sequential Programs
P Kraft, A Waterland, DY Fu, A Gollamudi, S Szulanski, M Seltzer
https://arxiv.org/abs/1809.07684, 2018
12018
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
2019
Information Flow Control for Distributed Trusted Execution Environments
A Gollamudi, S Chong, O Arden
https://dash.harvard.edu/handle/1/40614411, 2019
2019
Realizing C++11 Lambda Expression in Open64
J Absar, A Boyapati, D Das
Journal of Computer Science and Technology, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–7