Joseph P. Near

According to our database, Joseph P. Near authored at least 39 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Mako Bates, Joseph P. Near

CoRR, 2024

DT-SIM: Property-Based Testing for MPC Security.

Mako Bates, Joseph P. Near

CoRR, 2024

2023

Contextual Linear Types for Differential Privacy.

Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter

ACM Trans. Program. Lang. Syst., June, 2023

Evaluating the Usability of Differential Privacy Tools with Data Practitioners.

Ivoline C. Ngong, Brad Stenger, Joseph P. Near, Yuanyuan Feng

CoRR, 2023

OLYMPIA: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols.

Ivoline C. Ngong, Nicholas Gibson, Joseph P. Near

CoRR, 2023

2022

Solo: a lightweight static analysis for differential privacy.

Chike Abuah, David Darais, Joseph P. Near

Proc. ACM Program. Lang., 2022

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

Krystal Maughan, Joseph P. Near

CoRR, 2022

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

Krystal Maughan, Ivoline C. Ngong, Joseph P. Near

CoRR, 2022

Secret Sharing Sharing For Highly Scalable Secure Aggregation.

Timothy Stevens, Joseph P. Near, Christian Skalka

CoRR, 2022

PrivGuard: Privacy Regulation Compliance Made Easier.

Lun Wang, Usmann Khan, Joseph P. Near, Qi Pang, Jithendaraa Subramanian, Neel Somani, Peng Gao, Andrew Low, Dawn Song

Proceedings of the 31st USENIX Security Symposium, 2022

Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors.

Timothy Stevens, Christian Skalka, Christelle Vincent, John Ring, Samuel Clark, Joseph P. Near

Proceedings of the 31st USENIX Security Symposium, 2022

2021

Differential Privacy for Databases.

Joseph P. Near, Xi He

Found. Trends Databases, 2021

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

Gonzalo Munilla Garrido, Joseph P. Near, Aitsam Muhammad, Warren He, Roman Matzutt, Florian Matthes

CoRR, 2021

Solo: Enforcing Differential Privacy Without Fancy Types.

Chike Abuah, David Darais, Joseph P. Near

CoRR, 2021

DDUO: General-Purpose Dynamic Analysis for Differential Privacy.

Chike Abuah, Alex Silence, David Darais, Joseph P. Near

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Zero Knowledge Static Program Analysis.

Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang

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.

Usmann Khan, Lun Wang, Jithendaraa Subramanian, Joseph P. Near, Dawn Song

CoRR, 2020

Towards Auditability for Fairness in Deep Learning.

Ivoline C. Ngong, Krystal Maughan, Joseph P. Near

CoRR, 2020

Contextual Linear Types for Differential Privacy.

Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter

CoRR, 2020

DuetSGX: Differential Privacy with Secure Hardware.

Phillip Nguyen, Alex Silence, David Darais, Joseph P. Near

CoRR, 2020

Towards a Measure of Individual Fairness for Deep Learning.

Krystal Maughan, Joseph P. Near

CoRR, 2020

Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms.

Noah M. Johnson, Joseph P. Near, Joseph M. Hellerstein, Dawn Song

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.

Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song

Proc. ACM Program. Lang., 2019

Alloy*: a general-purpose higher-order relational constraint solver.

Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson

Formal Methods Syst. Des., 2019

Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations.

Lun Wang, Joseph P. Near, Neel Somani, Peng Gao, Andrew Low, David Dao, Dawn Song

Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2019

Towards Practical Differentially Private Convex Optimization.

Roger Iyengar, Joseph P. Near, Dawn Song, Om Thakkar, Abhradeep Thakurta, Lun Wang

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2018

Towards Practical Differential Privacy for SQL Queries.

Noah M. Johnson, Joseph P. Near, Dawn Song

Proc. VLDB Endow., 2018

Chorus: Differential Privacy via Query Rewriting.

Noah M. Johnson, Joseph P. Near, Joseph M. Hellerstein, Dawn Song

CoRR, 2018

2017

Practical Differential Privacy for SQL Queries Using Elastic Sensitivity.

Noah M. Johnson, Joseph P. Near, Dawn Xiaodong Song

CoRR, 2017

2016

Finding security bugs in web applications using a catalog of access control patterns.

Joseph P. Near, Daniel Jackson

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Finding security bugs in web applications using domain-specific static analysis.

Joseph P. Near

PhD thesis, 2015

2014

Derailer: interactive security analysis for web applications.

Joseph P. Near, Daniel Jackson

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

Applications and extensions of Alloy: past, present and future.

Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph P. Near

Math. Struct. Comput. Sci., 2013

2012

Rubicon: bounded verification of web applications.

Joseph P. Near, Daniel Jackson

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.

Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

From Relational Specifications to Logic Programs.

Joseph P. Near

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

An Imperative Extension to Alloy.

Joseph P. Near, Daniel Jackson

Proceedings of the Abstract State Machines, 2010

2009

Equality and hashing for (almost) free: Generating implementations from abstraction functions.

Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic.

Joseph P. Near, William E. Byrd, Daniel P. Friedman

Proceedings of the Logic Programming, 24th International Conference, 2008