← Search

Dan Boneh

10 accepted papers

2026

Comparing AI Agents to Cybersecurity Professionals in Real-World Penetration Testing

ICLR 2026poster

We present the first comprehensive evaluation of AI agents against human cybersecurity professionals in a live enterprise environment. We evaluate ten cybersecurity professionals alongside six existing AI agents and ARTEMIS, our new agent scaffold, on a large university network consisting of $\sim$8…

Cited by 0SourcecodeScholar
2025

BountyBench: Dollar Impact of AI Agent Attackers and Defenders on Real-World Cybersecurity Systems

NeurIPS 2025poster

AI agents have the potential to significantly alter the cybersecurity landscape. Here, we introduce the first framework to capture offensive and defensive cyber-capabilities in evolving real-world systems. Instantiating this framework with BountyBench, we set up 25 systems with complex, real-world c…

Cited by 0SourceScholar
2025

Cybench: A Framework for Evaluating Cybersecurity Capabilities and Risks of Language Models

ICLR 2025oral

Language Model (LM) agents for cybersecurity that are capable of autonomously identifying vulnerabilities and executing exploits have potential to cause real-world impact. Policymakers, model providers, and researchers in the AI and cybersecurity communities are interested in quantifying the capabil…

Cited by 33SourcePDFScholar
2025

ExpProof : Operationalizing Explanations for Confidential Models with ZKPs

ICML 2025poster

In principle, explanations are intended as a way to increase trust in machine learning models and are often obligated by regulations. However, many circumstances where these are demanded are adversarial in nature, meaning the involved parties have misaligned interests and are incentivized to manipul…

2024

FairProof : Confidential and Certifiable Fairness for Neural Networks

ICML 2024poster

Machine learning models are increasingly used in societal applications, yet legal and privacy concerns demand that they very often be kept confidential. Consequently, there is a growing distrust about the fairness properties of these models in the minds of consumers, who are often at the receiving e…

2024

Optimistic Verifiable Training by Controlling Hardware Nondeterminism

NeurIPS 2024poster

The increasing compute demands of AI systems has led to the emergence of services that train models on behalf of clients lacking necessary resources. However, ensuring correctness of training and guarding against potential training-time attacks, such as data poisoning and backdoors, poses challenges…

2019

Slalom: Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware

ICLR 2019oral

As Machine Learning (ML) gets applied to security-critical or sensitive domains, there is a growing need for integrity and privacy for outsourced ML computations. A pragmatic solution comes from Trusted Execution Environments (TEEs), which use hardware and software protections to isolate sensitive c…

2018

Ensemble Adversarial Training: Attacks and Defenses

ICLR 2018poster

Adversarial examples are perturbed inputs designed to fool machine learning models. Adversarial training injects such examples into training data to increase robustness. To scale this technique to large datasets, perturbations are crafted using fast single-step methods that maximize a linear approxi…

Cited by 3557SourcePDFScholar