Graduate Theses: Recent submissions
Now showing items 583-585 of 36544
-
Argos: Verifiable FHE Using Commodity Hardware
(Massachusetts Institute of Technology, 2025-05)We present Argos, a simple approach for adding verifiability to fully homomorphic encryption (FHE) schemes using trusted hardware. Traditional approaches to verifiable FHE require expensive cryptographic proofs, which incur ... -
Automatic Conversion of C and C++ Programs to the BuildIt Multi-Stage Programming Framework
(Massachusetts Institute of Technology, 2025-05)BuildIt allows users to write C++ programs that can execute in multiple stages, where the output of one stage is the program source for the next stage, ending with some final output produced. This is particularly useful ... -
Association of GLP-1 Receptor Agonist Use with Kidney and Cardiovascular Outcomes in Stable Kidney Transplant Recipients
(Massachusetts Institute of Technology, 2025-05)Recent surges in the use of glucagon-like peptide-1 receptor agonists (GLP-1RA) have shown promise in reducing cardiovascular events and improving kidney function in patients with type 2 diabetes. Due to these hopeful ...
