Joseph P. Near

67 papers A* 8A 2B 1C 1Misc 1Journal 43Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	"We Need a Standard": Toward an Expert-Informed Privacy Label for Differential Privacy. Proc. Priv. Enhancing Technol. Onyinye Dibia, Mengyi Lu, Prianka Bhattacharjee, Joseph P. Near, Yuanyuan Feng
2026	J	`jnl`	Beyond Fixed Psychological Personas: State Beats Trait, but Language Models are State-Blind. CoRR Tamunotonye Harry, Ivoline C. Ngong, Chima Nweke, Yuanyuan Feng, Joseph P. Near
2026	J	`jnl`	Differentially Private Multimodal In-Context Learning. CoRR Ivoline C. Ngong, Zarreen Reza, Joseph P. Near
2025	J	`jnl`	"We Need a Standard": Toward an Expert-Informed Privacy Label for Differential Privacy. CoRR Onyinye Dibia, Mengyi Lu, Prianka Bhattacharjee, Joseph P. Near, Yuanyuan Feng
2025	J	`jnl`	Aim High, Stay Private: Differentially Private Synthetic Data Enables Public Release of Behavioral Health Information with High Utility. CoRR Mohsen Ghasemizade, Juniper L. Lovato, Christopher M. Danforth, Peter Sheridan Dodds, Laura SP Bloomfield, Matthew Price, Team LEMURS, Joseph P. Near
2025	—	`conf`	Differentially Private Learning Needs Better Model Initialization and Self-Distillation. NAACL (Long Papers) Ivoline C. Ngong, Joseph P. Near, Niloofar Mireshghallah
2025	J	`jnl`	Distributed HDMM: Scalable, Distributed, Accurate, and Differentially Private Query Workloads without a Trusted Curator. CoRR Ratang Sedimo, Ivoline C. Ngong, Jami Lashua, Joseph P. Near
2025	J	`jnl`	Efficient, Portable, Census-Polymorphic Choreographic Programming. Proc. ACM Program. Lang. Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near
2025	J	`jnl`	Programming Differential Privacy. Found. Trends Program. Lang. Joseph P. Near, Chike Abuah
2025	—	`conf`	SMT-Boosted Security Types for Low-Level MPC. ESOP (2) Christian Skalka, Joseph P. Near
2025	J	`jnl`	SMT-Boosted Security Types for Low-Level MPC. CoRR Christian Skalka, Joseph P. Near
2025	J	`jnl`	SoK: Usability Studies in Differential Privacy. Proc. Priv. Enhancing Technol. Onyinye Dibia, Prianka Bhattacharjee, Brad Stenger, Steven Baldasty, Mako Bates, Ivoline C. Ngong, Yuanyuan Feng, Joseph P. Near
2024	J	`jnl`	DT-SIM: Property-Based Testing for MPC Security. CoRR Mako Bates, Joseph P. Near
2024	J	`jnl`	Differentially Private Learning Needs Better Model Initialization and Self-Distillation. CoRR Ivoline C. Ngong, Joseph P. Near, Niloofar Mireshghallah
2024	J	`jnl`	Efficient, Portable, Census-Polymorphic Choreographic Programming. CoRR Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near
2024	—	`conf`	Energy Efficient Data Routing for IoT Networks Using Genetic Algorithm. SmartNets Farzana Akhter, Joseph P. Near
2024	—	`conf`	Evaluating the Usability of Differential Privacy Tools with Data Practitioners. SOUPS @ USENIX Security Symposium Ivoline C. Ngong, Brad Stenger, Joseph P. Near, Yuanyuan Feng
2024	Misc	`conf`	Foldable, Recursive Proofs of Isogeny Computation with Reduced Time Complexity. QCE Krystal Maughan, Joseph P. Near, Christelle Vincent
2024	J	`jnl`	Foldable, Recursive Proofs of Isogeny Computation with Reduced Time Complexity. IACR Cryptol. ePrint Arch. Krystal Maughan, Joseph P. Near, Christelle Vincent
2024	C	`conf`	Language-Based Security for Low-Level MPC. PPDP Christian Skalka, Joseph P. Near
2024	J	`jnl`	Language-Based Security for Low-Level MPC. CoRR Christian Skalka, Joseph P. Near
2024	J	`jnl`	MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values. CoRR Mako Bates, Syed Jafri, Joseph P. Near
2024	—	`conf`	Olympia: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols. SaTML Ivoline C. Ngong, Nicholas Gibson, Joseph P. Near
2024	J	`jnl`	Proceedings of the 2024 miniKanren and Relational Programming Workshop. CoRR Ekaterina Verbitskaia, Joseph P. Near
2024	J	`jnl`	SoK: Usability Studies in Differential Privacy. CoRR Onyinye Dibia, Brad Stenger, Steven Baldasty, Mako Bates, Ivoline C. Ngong, Yuanyuan Feng, Joseph P. Near
2024	J	`jnl`	We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values. CoRR Mako Bates, Joseph P. Near
2023	J	`jnl`	Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
2023	J	`jnl`	Evaluating the Usability of Differential Privacy Tools with Data Practitioners. CoRR Ivoline C. Ngong, Brad Stenger, Joseph P. Near, Yuanyuan Feng
2023	J	`jnl`	OLYMPIA: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols. CoRR Ivoline C. Ngong, Nicholas Gibson, Joseph P. Near
2022	A*	`conf`	Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors. USENIX Security Symposium Timothy Stevens, Christian Skalka, Christelle Vincent, John H. Ring, Samuel Clark, Joseph P. Near
2022	J	`jnl`	Improving Utility for Privacy-Preserving Analysis of Correlated Columns using Pufferfish Privacy. CoRR Krystal Maughan, Joseph P. Near
2022	J	`jnl`	Prediction Sensitivity: Continual Audit of Counterfactual Fairness in Deployed Classifiers. CoRR Krystal Maughan, Ivoline C. Ngong, Joseph P. Near
2022	A*	`conf`	PrivGuard: Privacy Regulation Compliance Made Easier. USENIX Security Symposium Lun Wang, Usmann Khan, Joseph P. Near, Qi Pang, Jithendaraa Subramanian, Neel Somani, Peng Gao, Andrew Low, Dawn Song
2022	J	`jnl`	Secret Sharing Sharing For Highly Scalable Secure Aggregation. CoRR Timothy Stevens, Joseph P. Near, Christian Skalka
2022	J	`jnl`	Solo: a lightweight static analysis for differential privacy. Proc. ACM Program. Lang. Chike Abuah, David Darais, Joseph P. Near
2021	A	`conf`	DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CSF Chike Abuah, Alex Silence, David Darais, Joseph P. Near
2021	J	`jnl`	Differential Privacy for Databases. Found. Trends Databases Joseph P. Near, Xi He
2021	J	`jnl`	Do I Get the Privacy I Need? Benchmarking Utility in Differential Privacy Libraries. CoRR Gonzalo Munilla Garrido, Joseph P. Near, Muhammad Aitsam, Warren He, Roman Matzutt, Florian Matthes
2021	J	`jnl`	Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors. CoRR Timothy Stevens, Christian Skalka, Christelle Vincent, John H. Ring, Samuel Clark, Joseph P. Near
2021	J	`jnl`	Methods for Host-based Intrusion Detection with Deep Learning. DTRAP John H. Ring, Colin Michael Van Oort, Samson Durst, Vanessa White, Joseph P. Near, Christian Skalka
2021	J	`jnl`	Solo: Enforcing Differential Privacy Without Fancy Types. CoRR Chike Abuah, David Darais, Joseph P. Near
2021	A*	`conf`	Zero Knowledge Static Program Analysis. CCS Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang
2020	A	`conf`	Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms. EuroS&P Noah M. Johnson, Joseph P. Near, Joseph M. Hellerstein, Dawn Song
2020	J	`jnl`	DuetSGX: Differential Privacy with Secure Hardware. CoRR Phillip Nguyen, Alex Silence, David Darais, Joseph P. Near
2020	J	`jnl`	PrivFramework: A System for Configurable and Automated Privacy Policy Compliance. CoRR Usmann Khan, Lun Wang, Jithendaraa Subramanian, Joseph P. Near, Dawn Song
2020	J	`jnl`	Towards Auditability for Fairness in Deep Learning. CoRR Ivoline C. Ngong, Krystal Maughan, Joseph P. Near
2020	J	`jnl`	Towards a Measure of Individual Fairness for Deep Learning. CoRR Krystal Maughan, Joseph P. Near
2019	J	`jnl`	Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst. Des. Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
2019	—	`conf`	Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations. Poly/DMAH@VLDB Lun Wang, Joseph P. Near, Neel Somani, Peng Gao, Andrew Low, David Dao, Dawn Song
2019	J	`jnl`	Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations. CoRR Lun Wang, Joseph P. Near, Neel Somani, Peng Gao, Andrew Low, David Dao, Dawn Song
2019	J	`jnl`	Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy. CoRR Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
2019	J	`jnl`	Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proc. ACM Program. Lang. Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
2019	A*	`conf`	Towards Practical Differentially Private Convex Optimization. IEEE Symposium on Security and Privacy Roger Iyengar, Joseph P. Near, Dawn Song, Om Thakkar, Abhradeep Thakurta, Lun Wang
2018	J	`jnl`	Chorus: Differential Privacy via Query Rewriting. CoRR Noah M. Johnson, Joseph P. Near, Joseph M. Hellerstein, Dawn Song
2018	J	`jnl`	Towards Practical Differential Privacy for SQL Queries. Proc. VLDB Endow. Noah M. Johnson, Joseph P. Near, Dawn Song
2017	J	`jnl`	Practical Differential Privacy for SQL Queries Using Elastic Sensitivity. CoRR Noah M. Johnson, Joseph P. Near, Dawn Xiaodong Song
2016	A*	`conf`	Finding security bugs in web applications using a catalog of access control patterns. ICSE Joseph P. Near, Daniel Jackson
2015	—	`conf`	Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ICSE (1) Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
2015	—	`—`	Finding security bugs in web applications using domain-specific static analysis. Joseph P. Near
2014	A*	`conf`	Derailer: interactive security analysis for web applications. ASE Joseph P. Near, Daniel Jackson
2013	J	`jnl`	Applications and extensions of Alloy: past, present and future. Math. Struct. Comput. Sci. Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph P. Near
2012	—	`conf`	Rubicon: bounded verification of web applications. SIGSOFT FSE Joseph P. Near, Daniel Jackson
2011	A*	`conf`	A lightweight code analysis and its role in evaluation of a dependability case. ICSE Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson
2010	—	`conf`	An Imperative Extension to Alloy. ASM Joseph P. Near, Daniel Jackson
2010	—	`conf`	From Relational Specifications to Logic Programs. ICLP (Technical Communications) Joseph P. Near
2009	A*	`conf`	Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson
2008	B	`conf`	alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. ICLP Joseph P. Near, William E. Byrd, Daniel P. Friedman