2 citations · 3 across the 5 of their papers we have counts for
5 papers
Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
Wesley B. Nuzzo, Samuel Dodson, Benjamin Houle +2
Trusted Execution Environments (TEEs) provide hardware-supported isolation through enclaves that protect code and data independently of software abstractions. However, TEEs alone c…
A Typestate Approach to Purpose-aware Programming
Joan Montas, Samuel Dodson, Anitha Gollamudi +1
Real-world applications often require verification that sensitive data is being used for their intended purpose. However, existing literature offers limited results regarding compi…
ILA: Correctness via Type Checking for Fully Homomorphic Encryption
Tarakaram Gollamudi, Anitha Gollamudi, Joshua Gancher
RLWE-based Fully Homomorphic Encryption (FHE) schemes add some small \emph{noise} to the message during encryption. The noise accumulates with each homomorphic operation. When the…
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya +7
Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled to Wasm -- and a…
Automatic Parallelization of Sequential Programs
Peter Kraft, Amos Waterland, Daniel Y Fu +3
Prior work on Automatically Scalable Computation (ASC) suggests that it is possible to parallelize sequential computation by building a model of whole-program execution, using that…