In Preparation
FLAC: A Calculus for Flow-Limited Authorization”. In Preparation.
A. Gollamudi, S. Chong, and O. Arden, “Information Flow Control for Distributed Trusted Execution Environments,” 32nd IEEE Computer Security Foundations Symposium. Forthcoming. dflate-camera-ready.pdf
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 secureesgxenclaves.pdf
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