Publications

In Preparation
FLAC: A Calculus for Flow-Limited Authorization”. In Preparation.
2019
A. Gollamudi, S. Chong, and O. Arden, Information Flow Control for Distributed Trusted Execution Environments. Harvard University, 2019. Technical Report
A. Gollamudi, S. Chong, and O. Arden, “Information Flow Control for Distributed Trusted Execution Environments,” 32nd IEEE Computer Security Foundations Symposium. 2019. pdf
2018
P. Kraft, A. Waterland, D. Y. Fu, A. Gollamudi, S. Szulanski, and M. Seltzer, “Automatic Parallelization of Sequential Programs,” arXiv:1809.07684. 2018. arXiv:1809.07684
A. Gollamudi and C. Fournet, “(Extended Abstract) Building Secure SGX Enclaves using F*, C++ and X64,” in Principles of Secure Compilation, PRISC, LA, 2018. Publisher's Version pdf
2016
A. Gollamudi and S. Chong, “Automatic Enforcement of Expressive Security Policies using Enclaves,” Proceedings of the 29th Annual ACM SIGPLAN Conference on Object-Oriented Programming Languages, Systems, Languages, and Applications (OOPSLA). 2016. Publisher's Version
K. Bhargavan, et al., “Formal Verification of Smart Contracts,” in Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016. Publisher's Version pdf