| 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 | 842 | 2016 |
| Automatic enforcement of expressive security policies using enclaves A Gollamudi, S Chong Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 37 | 2016 |
| 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 | 30 | 2023 |
| 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 | 24 | 2019 |
| Information Flow Control for Distributed Trusted Execution Environments A Gollamudi, S Chong, O Arden https://dash.harvard.edu/handle/1/40614411, 2019 | 24 | 2019 |
| 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 | 12 | 2016 |
| Automatic Parallelization of Sequential Programs P Kraft, A Waterland, DY Fu, A Gollamudi, S Szulanski, M Seltzer https://arxiv.org/abs/1809.07684, 2018 | 5 | 2018 |
| 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 | 3 | 2018 |
| Expressive Authorization Policies using Computation Principals A Gollamudi, S Chong Workshop on Foundations of Computer Security, 2021 | 1 | 2021 |
| Automatic Inference of Enclave Placement in LLVM Compiler WB Nuzzo, M Elwakil, A Gollamudi Workshop on Principles of Secure Compilation (PriSC), 2025, 2025 | | 2025 |
| ILA: Correctness via Type Checking for Fully Homomorphic Encryption T Gollamudi, A Gollamudi, J Gancher Workshop on Principles of Secure Compilation (PriSC), 2025, 2025 | | 2025 |
| 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 | | |
Cédric FournetMicrosoft ResearchDirección de correo verificada de microsoft.com