1 citations · 1 across the 2 of their papers we have counts for
3 papers
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…
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…
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…