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