Joseph P. Near

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 35

Top Venues

CoRR

Proc. ACM Program. Lang.

USENIX Security Symposium

SaTML

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Christian Skalka, Joseph P. Near
Language-Based Security for Low-Level MPC. CoRR (2024)
Mako Bates, Joseph P. Near
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values. CoRR (2024)
Ivoline C. Ngong, Nicholas Gibson, Joseph P. Near
Olympia: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols. SaTML (2024)
Mako Bates, Joseph P. Near
DT-SIM: Property-Based Testing for MPC Security. CoRR (2024)
Mako Bates, Syed Jafri, Joseph P. Near
MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values. CoRR (2024)
Krystal Maughan, Joseph P. Near, Christelle Vincent
Foldable, Recursive Proofs of Isogeny Computation with Reduced Time Complexity. IACR Cryptol. ePrint Arch. 2024 (2024)
Farzana Akhter, Joseph P. Near
Energy Efficient Data Routing for IoT Networks Using Genetic Algorithm. SmartNets (2024)
Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Ivoline C. Ngong, Nicholas Gibson, Joseph P. Near
OLYMPIA: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols. CoRR (2023)
Ivoline C. Ngong, Brad Stenger, Joseph P. Near, Yuanyuan Feng
Evaluating the Usability of Differential Privacy Tools with Data Practitioners. CoRR (2023)
Lun Wang, Usmann Khan, Joseph P. Near, Qi Pang, Jithendaraa Subramanian, Neel Somani, Peng Gao, Andrew Low, Dawn Song
PrivGuard: Privacy Regulation Compliance Made Easier. USENIX Security Symposium (2022)
Chike Abuah, David Darais, Joseph P. Near
Solo: a lightweight static analysis for differential privacy. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Timothy Stevens, Ivoline C. Ngong, David Darais, Calvin Hirsch, David Slater, Joseph P. Near
Backpropagation Clipping for Deep Learning with Differential Privacy. CoRR (2022)
Krystal Maughan, Joseph P. Near
Improving Utility for Privacy-Preserving Analysis of Correlated Columns using Pufferfish Privacy. CoRR (2022)
Krystal Maughan, Ivoline C. Ngong, Joseph P. Near
Prediction Sensitivity: Continual Audit of Counterfactual Fairness in Deployed Classifiers. CoRR (2022)
Timothy Stevens, Christian Skalka, Christelle Vincent, John Ring, Samuel Clark, Joseph P. Near
Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors. USENIX Security Symposium (2022)
Joseph P. Near, Xi He
Differential Privacy for Databases. Found. Trends Databases 11 (2) (2021)
Chike Abuah, David Darais, Joseph P. Near
Solo: Enforcing Differential Privacy Without Fancy Types. CoRR (2021)
Chike Abuah, Alex Silence, David Darais, Joseph P. Near
DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CSF (2021)
Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang
Zero Knowledge Static Program Analysis. CCS (2021)
Noah M. Johnson, Joseph P. Near, Joseph M. Hellerstein, Dawn Song
Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms. EuroS&P (2020)
Usmann Khan, Lun Wang, Jithendaraa Subramanian, Joseph P. Near, Dawn Song
PrivFramework: A System for Configurable and Automated Privacy Policy Compliance. CoRR (2020)
Ivoline C. Ngong, Krystal Maughan, Joseph P. Near
Towards Auditability for Fairness in Deep Learning. CoRR (2020)
Krystal Maughan, Joseph P. Near
Towards a Measure of Individual Fairness for Deep Learning. CoRR (2020)
Phillip Nguyen, Alex Silence, David Darais, Joseph P. Near
DuetSGX: Differential Privacy with Secure Hardware. CoRR (2020)
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst. Des. 55 (1) (2019)
Lun Wang, Joseph P. Near, Neel Somani, Peng Gao, Andrew Low, David Dao, Dawn Song
Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations. Poly/DMAH@VLDB (2019)
Lun Wang, Joseph P. Near, Neel Somani, Peng Gao, Andrew Low, David Dao, Dawn Song
Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations. CoRR (2019)
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy. CoRR (2019)
Roger Iyengar, Joseph P. Near, Dawn Song, Om Thakkar, Abhradeep Thakurta, Lun Wang
Towards Practical Differentially Private Convex Optimization. IEEE Symposium on Security and Privacy (2019)
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Noah M. Johnson, Joseph P. Near, Dawn Song
Towards Practical Differential Privacy for SQL Queries. Proc. VLDB Endow. 11 (5) (2018)
Noah M. Johnson, Joseph P. Near, Joseph M. Hellerstein, Dawn Song
Chorus: Differential Privacy via Query Rewriting. CoRR (2018)
Noah M. Johnson, Joseph P. Near, Dawn Xiaodong Song
Practical Differential Privacy for SQL Queries Using Elastic Sensitivity. CoRR (2017)
Joseph P. Near, Daniel Jackson
Finding security bugs in web applications using a catalog of access control patterns. ICSE (2016)
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ICSE (1) (2015)
Joseph P. Near, Daniel Jackson
Derailer: interactive security analysis for web applications. ASE (2014)
Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph P. Near
Applications and extensions of Alloy: past, present and future. Math. Struct. Comput. Sci. 23 (4) (2013)
Joseph P. Near, Daniel Jackson
Rubicon: bounded verification of web applications. SIGSOFT FSE (2012)
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson
A lightweight code analysis and its role in evaluation of a dependability case. ICSE (2011)
Joseph P. Near, Daniel Jackson
An Imperative Extension to Alloy. ASM (2010)
Joseph P. Near
From Relational Specifications to Logic Programs. ICLP (Technical Communications) (2010)
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson
Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE (2009)
Joseph P. Near, William E. Byrd, Daniel P. Friedman
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. ICLP (2008)

Joseph P. Near.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joseph P. Near