research
∙
02/20/2023
Symphony: Expressive Secure Multiparty Computation with Coordination
Context: Secure Multiparty Computation (MPC) refers to a family of crypt...
share
research
∙
02/10/2022
Backpropagation Clipping for Deep Learning with Differential Privacy
We present backpropagation clipping, a novel variant of differentially p...
research
∙
05/04/2021
Solo: Enforcing Differential Privacy Without Fancy Types
All current approaches for statically enforcing differential privacy in ...
research
∙
03/16/2021
DDUO: General-Purpose Dynamic Analysis for Differential Privacy
Differential privacy enables general statistical analysis of data with f...
research
∙
10/21/2020
Contextual Linear Types for Differential Privacy
Language support for differentially-private programming is both crucial ...
research
∙
10/20/2020
DuetSGX: Differential Privacy with Secure Hardware
Differential privacy offers a formal privacy guarantee for individuals, ...
research
∙
09/05/2019
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
During the past decade, differential privacy has become the gold standar...
research
∙
07/23/2018
Constructive Galois Connections
Galois connections are a foundational tool for structuring abstraction i...
research
∙
11/25/2017
A Language for Probabilistically Oblivious Computation
An oblivious computation is one that is free of direct and indirect info...
research
∙
07/15/2017