2024
Foldable, Recursive Proofs of Isogeny Computation with Reduced Time Complexity.
IACR Cryptol. ePrint Arch., 2024

Differentially Private Learning Needs Better Model Initialization and Self-Distillation.
CoRR, 2024

Proceedings of the 2024 miniKanren and Relational Programming Workshop.
CoRR, 2024

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values.
CoRR, 2024

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values.
CoRR, 2024

DT-SIM: Property-Based Testing for MPC Security.
CoRR, 2024

Evaluating the Usability of Differential Privacy Tools with Data Practitioners.
Proceedings of the Twentieth Symposium on Usable Privacy and Security, 2024

Energy Efficient Data Routing for IoT Networks Using Genetic Algorithm.
Proceedings of the International Conference on Smart Applications, 2024

Olympia: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols.
Proceedings of the IEEE Conference on Secure and Trustworthy Machine Learning, 2024

Language-Based Security for Low-Level MPC.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

2023
Contextual Linear Types for Differential Privacy.
ACM Trans. Program. Lang. Syst., June, 2023

2022
Solo: a lightweight static analysis for differential privacy.
Proc. ACM Program. Lang., 2022

Improving Utility for Privacy-Preserving Analysis of Correlated Columns using Pufferfish Privacy.
CoRR, 2022

Prediction Sensitivity: Continual Audit of Counterfactual Fairness in Deployed Classifiers.
CoRR, 2022

Secret Sharing Sharing For Highly Scalable Secure Aggregation.
CoRR, 2022

PrivGuard: Privacy Regulation Compliance Made Easier.
Proceedings of the 31st USENIX Security Symposium, 2022

Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors.
Proceedings of the 31st USENIX Security Symposium, 2022

2021
Differential Privacy for Databases.
Found. Trends Databases, 2021

Methods for Host-based Intrusion Detection with Deep Learning.
DTRAP, 2021

Do I Get the Privacy I Need? Benchmarking Utility in Differential Privacy Libraries.
CoRR, 2021

Solo: Enforcing Differential Privacy Without Fancy Types.
CoRR, 2021

DDUO: General-Purpose Dynamic Analysis for Differential Privacy.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Zero Knowledge Static Program Analysis.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020
PrivFramework: A System for Configurable and Automated Privacy Policy Compliance.
CoRR, 2020

Towards Auditability for Fairness in Deep Learning.
CoRR, 2020

Contextual Linear Types for Differential Privacy.
CoRR, 2020

DuetSGX: Differential Privacy with Secure Hardware.
CoRR, 2020

Towards a Measure of Individual Fairness for Deep Learning.
CoRR, 2020

Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms.
Proceedings of the IEEE European Symposium on Security and Privacy, 2020

2019
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy.
Proc. ACM Program. Lang., 2019

Alloy*: a general-purpose higher-order relational constraint solver.
Formal Methods Syst. Des., 2019

Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations.
Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2019

Towards Practical Differentially Private Convex Optimization.
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2018
Towards Practical Differential Privacy for SQL Queries.
Proc. VLDB Endow., 2018

Chorus: Differential Privacy via Query Rewriting.
CoRR, 2018

2017
Practical Differential Privacy for SQL Queries Using Elastic Sensitivity.
CoRR, 2017

2016
Finding security bugs in web applications using a catalog of access control patterns.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Finding security bugs in web applications using domain-specific static analysis.
PhD thesis, 2015

2014
Derailer: interactive security analysis for web applications.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013
Applications and extensions of Alloy: past, present and future.
Math. Struct. Comput. Sci., 2013

2012
Rubicon: bounded verification of web applications.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

2011
A lightweight code analysis and its role in evaluation of a dependability case.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
From Relational Specifications to Logic Programs.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

An Imperative Extension to Alloy.
Proceedings of the Abstract State Machines, 2010

2009
Equality and hashing for (almost) free: Generating implementations from abstraction functions.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic.
Proceedings of the Logic Programming, 24th International Conference, 2008