research
∙
06/01/2023
A Formal Model for Secure Multiparty Computation
Although Secure Multiparty Computation (SMC) has seen considerable devel...
share
research
∙
04/02/2021
TreeToaster: Towards an IVM-Optimized Compiler
A compiler's optimizer operates over abstract syntax trees (ASTs), conti...
research
∙
02/13/2021
Understanding Bounding Functions in Safety-Critical UAV Software
Unmanned Aerial Vehicles (UAVs) are an emerging computation platform kno...
research
∙
01/28/2021
Putting gradual types to work
In this paper, we describe our experience incorporating gradual types in...
research
∙
01/22/2019