English
Related papers

Related papers: FairZK: A Scalable System to Prove Machine Learnin…

200 papers

Zero-Knowledge Proofs (ZKPs) are a cryptographic primitive that allows a prover to demonstrate knowledge of a secret value to a verifier without revealing anything about the secret itself. ZKPs have shown to be an extremely powerful tool,…

Cryptography and Security · Computer Science 2025-04-29 Nojan Sheybani , Anees Ahmed , Michel Kinsy , Farinaz Koushanfar

Testing machine learning software for ethical bias has become a pressing current concern. In response, recent research has proposed a plethora of new fairness metrics, for example, the dozens of fairness metrics in the IBM AIF360 toolkit.…

Machine Learning · Computer Science 2022-03-22 Suvodeep Majumder , Joymallya Chakraborty , Gina R. Bai , Kathryn T. Stolee , Tim Menzies

Fairness in machine learning (ML) has a critical importance for building trustworthy machine learning system as artificial intelligence (AI) systems increasingly impact various aspects of society, including healthcare decisions and legal…

Machine Learning · Computer Science 2025-06-19 Modar Sulaiman , Kallol Roy

Federated learning is an emerging framework that builds centralized machine learning models with training data distributed across multiple devices. Most of the previous works about federated learning focus on the privacy protection and…

Machine Learning · Computer Science 2020-10-13 Wei Du , Depeng Xu , Xintao Wu , Hanghang Tong

Motivated by concerns surrounding the fairness effects of sharing and transferring fair machine learning tools, we propose two algorithms: Fairness Warnings and Fair-MAML. The first is a model-agnostic algorithm that provides interpretable…

Machine Learning · Computer Science 2019-12-06 Dylan Slack , Sorelle Friedler , Emile Givental

As the demand for exercising the "right to be forgotten" grows, the need for verifiable machine unlearning has become increasingly evident to ensure both transparency and accountability. We present {\em zkUnlearner}, the first…

Cryptography and Security · Computer Science 2025-09-10 Nan Wang , Nan Wu , Xiangyu Hui , Jiafan Wang , Xin Yuan

Zero-knowledge proofs have always provided a clear solution when it comes to conveying information from a prover to a verifier or vice versa without revealing essential information about the process. Advancements in zero-knowledge have…

Cryptography and Security · Computer Science 2021-08-02 Aritra Banerjee , Michael Clear , Hitesh Tewari

Algorithmic decision making systems are ubiquitous across a wide variety of online as well as offline services. These systems rely on complex learning methods and vast amounts of data to optimize the service functionality, satisfaction of…

Machine Learning · Statistics 2017-03-27 Muhammad Bilal Zafar , Isabel Valera , Manuel Gomez Rodriguez , Krishna P. Gummadi

Machine learning models are becoming pervasive in high-stakes applications. Despite their clear benefits in terms of performance, the models could show discrimination against minority groups and result in fairness issues in a…

Machine Learning · Computer Science 2022-04-12 Mingyang Wan , Daochen Zha , Ninghao Liu , Na Zou

Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive attributes. We present a general framework of runtime…

Machine Learning · Computer Science 2025-07-08 Thomas A. Henzinger , Mahyar Karimi , Konstantin Kueffner , Kaushik Mallik

Machine unlearning aims to remove the influence of specific data points from a trained model to satisfy privacy, copyright, and safety requirements. In real deployments, providers distribute a global model to many edge devices, where each…

Cryptography and Security · Computer Science 2026-04-16 Mohammad M Maheri , Sunil Cotterill , Alex Davidson , Hamed Haddadi

Machine unlearning poses the challenge of ``how to eliminate the influence of specific data from a pretrained model'' in regard to privacy concerns. While prior research on approximated unlearning has demonstrated accuracy and efficiency in…

Machine Learning · Computer Science 2025-04-21 Khoa Tran , Simon S. Woo

Fairness-aware learning is a novel framework for classification tasks. Like regular empirical risk minimization (ERM), it aims to learn a classifier with a low error rate, and at the same time, for the predictions of the classifier to be…

Machine Learning · Statistics 2015-06-26 Kazuto Fukuchi , Jun Sakuma

Timely and effective load shedding in power systems is critical for maintaining supply-demand balance and preventing cascading blackouts. To eliminate load shedding bias against specific regions in the system, optimization-based methods are…

Systems and Control · Electrical Eng. & Systems 2025-02-28 Yuqi Zhou , Joseph Severino , Sanjana Vijayshankar , Juliette Ugirumurera , Jibo Sanyal

This paper introduces the Fair Fairness Benchmark (\textsf{FFB}), a benchmarking framework for in-processing group fairness methods. Ensuring fairness in machine learning is important for ethical compliance. However, there exist challenges…

Machine Learning · Computer Science 2024-06-12 Xiaotian Han , Jianfeng Chi , Yu Chen , Qifan Wang , Han Zhao , Na Zou , Xia Hu

Zero-knowledge proofs (ZKPs) are central to secure and privacy-preserving computation, with zk-SNARKs and zk-STARKs emerging as leading frameworks offering distinct trade-offs in efficiency, scalability, and trust assumptions. While their…

Cryptography and Security · Computer Science 2025-12-12 Ayush Nainwal , Atharva Kamble , Nitin Awathare

Equity in real-world sequential decision problems can be enforced using fairness-aware methods. Therefore, we require algorithms that can make suitable and transparent trade-offs between performance and the desired fairness notions. As the…

Machine Learning · Computer Science 2025-09-29 Alexandra Cimpean , Nicole Orzan , Catholijn Jonker , Pieter Libin , Ann Nowé

Zero-knowledge proofs (ZKPs) enable computational integrity and privacy by allowing one party to prove the truth of a statement without revealing underlying data. Compared with alternatives such as homomorphic encryption and secure…

Cryptography and Security · Computer Science 2026-04-14 Ryan Lavin , Xuekai Liu , Hardhik Mohanty , Logan Norman , Giovanni Zaarour , Bhaskar Krishnamachari

Efficient zero-knowledge proofs (ZKPs) have been restricted to NP statements so far, whereas they exist for all statements in PSPACE. This work presents the first practical zero-knowledge (ZK) protocols for PSPACE-complete statements by…

Cryptography and Security · Computer Science 2025-11-20 Ashwin Karthikeyan , Hengyu Liu , Kuldeep S. Meel , Ning Luo

In this work, we propose an Automated Machine Learning (AutoML) system to search for models not only with good prediction accuracy but also fair. We first investigate the necessity and impact of unfairness mitigation in the AutoML context.…

Machine Learning · Computer Science 2022-11-28 Qingyun Wu , Chi Wang