 The Complexity of Verifying Boolean Programs as Differentially PrivateIEEE Computer Security Foundations Symposium (CSF), 2022 |
 DDUO: General-Purpose Dynamic Analysis for Differential PrivacyIEEE Computer Security Foundations Symposium (CSF), 2021 |
 Porcupine: A Synthesizing Compiler for Vectorized Homomorphic EncryptionACM-SIGPLAN Symposium on Programming Language Design and Implementation (PLDI), 2021 |
 A Programming Framework for Differential Privacy with Accuracy
Concentration BoundsIEEE Symposium on Security and Privacy (IEEE S&P), 2019 |
