Joe Near

He/him
Associate Professor
University of Vermont
Office: E458 Innovation Hall
E-mail: jnear at uvm dot edu
[ CV ]

[ Books | Teaching | Students | Service | Publications ]

• Member, UVM PLAID lab
• Member, UVM Center for Computer Security and Privacy

Research Interests

My research interests include data privacy (especially differential privacy), security (especially secure/verified computation), fairness, programming languages, and machine learning.

	Programming Differential Privacy A book about differential privacy, for programmers. By Joseph P. Near and Chiké Abuah
	Differential Privacy for Databases By Joseph P. Near and Xi He

• CS 3110/5110: Data Privacy (Fall 2024, Fall 2023)
• CS 3020: Compiler Construction (Spring 2024)
• CS 3990/5990: Secure Distributed Computation (Fall 2023)
• CS 202: Compiler Construction (Spring 2023, Spring 2022, Spring 2021, Spring 2020, Spring 2019)
• CS 211: Data Privacy (Fall 2022, Fall 2021, Fall 2020, Fall 2019, Fall 2018)
• CS 295: Secure Distributed Computation (Fall 2022, Fall 2020)

• Craig Agricola (PhD)
• Farzana Akhter (MS)
• Mako Bates (PhD)
• Prianka Bhattacharjee (PhD)
• Onyinye Dibia (PhD)
• Syed Jafri (PhD)
• Krystal Maughan (PhD)
• Ivoline Ngong (PhD)
• Ratang Sedimo (PhD)

Organization

• TPDP: Theory and Practice of Differential Privacy (2024, 2025)
• miniKanren: The miniKanren and Relational Programming Workshop (2024)
• FCS: Foundations of Computer Security Workshop (2022, 2021)

Program Committees

• 2024: CCS, AISTATS, PETS
• 2023: CCS, VLDB, TPDP
• 2022: CCS, AISTATS, VLDB, TPDP
• 2021: TPDP
• 2020: TPDP, FCS

• MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
  Mako Bates, Syed Jafri, Joseph P. Near
  
• We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
  Mako Bates, Joseph P. Near
  
• DT-SIM: Property-Based Testing for MPC Security
  Mako Bates, Joseph P. Near
  
• Improving Utility for Privacy-Preserving Analysis of Correlated Columns using Pufferfish Privacy
  Krystal Maughan, Joseph P. Near
  
• Prediction Sensitivity: Continual Audit of Counterfactual Fairness in Deployed Classifiers
  Krystal Maughan, Ivoline C. Ngong, Joseph P. Near
  
• Secret Sharing Sharing For Highly Scalable Secure Aggregation
  Timothy Stevens, Joseph P. Near, Christian Skalka
  
• 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
  

Recent Publications

• Foldable, Recursive Proofs of Isogeny Computation with Reduced Time Complexity
  Krystal Maughan, Joseph P. Near, Christelle Vincent
  In IEEE QCE, 2024
  (PDF)
• Language-Based Security for Low-Level MPC
  Christian Skalka, Joseph P. Near
  In PPDP, 2024
  (PDF)
• Evaluating the Usability of Differential Privacy Tools with Data Practitioners
  Ivoline C. Ngong, Brad Stenger, Joseph P. Near, Yuanyuan Feng
  In SOUPS, 2024
  (PDF)
• OLYMPIA: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols
  Ivoline C. Ngong, Nicholas Gibson, Joseph P. Near
  In IEEE SaTML, 2024
  (PDF)
• Contextual Linear Types for Differential Privacy
  Matias Toro, David Darais, Chike Abuah, Joseph P. Near, Damian Arquez, Federico Olmedo, Eric Tanter
  ACM Transactions on Programming Languages and Systems, 2023
• Solo: A Lightweight Static Analysis for Differential Privacy
  Chike Abuah, David Darais, Joseph P. Near
  In OOPSLA, 2022
  (PDF)