research
∙
08/09/2023
Fixing Rust Compilation Errors using LLMs
The Rust programming language, with its safety guarantees, has establish...
share
research
∙
11/30/2021
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Much recent research has been devoted to modeling effects within type th...
research
∙
05/10/2021
SIRNN: A Math Library for Secure RNN Inference
Complex machine learning (ML) inference algorithms like recurrent neural...
research
∙
12/09/2020
Secure Medical Image Analysis with CrypTFlow
We present CRYPTFLOW, a system that converts TensorFlow inference code i...
research
∙
10/13/2020
CrypTFlow2: Practical 2-Party Secure Inference
We present CrypTFlow2, a cryptographic framework for secure inference ov...
research
∙
09/16/2019
CrypTFlow: Secure TensorFlow Inference
We present CrypTFlow, a first of its kind system that converts TensorFlo...
research
∙
02/25/2019
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Building reliable applications for the cloud is challenging because of u...
research
∙
03/17/2018
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Scripting proofs with tactics has been a tradition in interactive theore...
research
∙
03/17/2018
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier
Verification tools for effectful programming languages often rely on aut...
research
∙
11/30/2017
An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code
We present an instrumenting compiler for enforcing data confidentiality ...
research
∙
11/17/2017
WYS*: A Verified Language Extension for Secure Multi-party Computations
Secure multi-party computation (MPC) enables a set of mutually distrusti...
research
∙
07/08/2017