illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

photos of PhD students Anunay Kulshrestha and Karan Newatia with a photo of Senior Cryptographer Josh Benaloh in the middle with a microphone icon on a blue and purple gradient background

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Bayes Security (β*, higher better) of DP-SGD against membership and attribute inference on the Adult and Purchase datasets as a function of the number of training steps. The green dashed line shows the corresponding DP budget (ε). Membership and attribute inference curves decrease monotonically as the model is trained for longer and the accuracy and DP budget grow.

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

Published Date

Publication

The Art of Building Verifiers for Computer Use Agents

Corby Rosset, Pratyusha Sharma, Andrew Zhao, M. González-Fernández, Ahmed Awadallah

April 2026

arXiv | April 2026

Publication

HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation

Claudius Pott, Luca Wilke, Jan Wichelmann, Thomas Eisenbarth

March 2026

arXiv | March 2026

Publication

Detecting speculative leaks with compositional semantics

Xaver Fabian, Marco Guarnieri, Boris Köpf, J. Morales, Marco Patrignani, Jan Reineke, Andrés Sánchez

March 2026

arXiv | March 2026

Publication

An Agentic Multi-Agent Architecture for Cybersecurity Risk Management

Ravi Gupta, Saket Kumar, Shreeya Sharma, Maulik Dang, Abhishek Aggarwal BigCommerce, U. A. Buffalo, The State University of New York, Buffalo, Ny, Usa, Microsoft, Amazon

March 2026

arXiv | March 2026

Tool

cppvrf

A Verifiable Random Function (VRF) is a cryptographic public-key primitive that, from a secret key and a given input, produces a unique pseudorandom output, along with a proof that the output was correctly computed.Only the…

Access

Publication

CTI-REALM: Benchmark to Evaluate Agent Performance on Security Detection Rule Generation Capabilities

Arjun Chakraborty, Sandra Ho, Adam Cook, Manuel Mel'endez

March 2026

arXiv | March 2026

Tool

LiteBox

A security-focused library OS [!NOTE]This project is currently actively evolving and improving. While we areworking toward a stable release, some APIs and interfaces may change as thedesign continues to mature. You are welcome to explore…

GitHub

Tool

SABER: Scaling-Aware Best-of-N Estimation of Risk

Scaling-Aware Best-of-N Estimation of Risk A Python package for predicting large-scale adversarial risk in Large Language Models under Best-of-N sampling. Paper: https://arxiv.org/pdf/2601.22636 (opens in new tab) Standard LLM safety evaluations use single-shot (ASR@1) metrics,…

GitHub Publication

Video

CROSS — Leveraging AI ASICs for Homomorphic Encryption

March 6, 2026 | Jianming Tong

Artificial Intelligence (AI) is driving a new industrial revolution, transforming human workflows increasingly into digital tokens, i.e., tokenizing the entire world. However, this transformation exposes sensitive data at an unprecedented scale, leading to heavy privacy…

52:29

Publication

Contextualized Privacy Defense for LLM Agents

Yule Wen, Yanzhe Zhang, Jianxun Lian, Xiaoyuan Yi, Xing Xie, Diyi Yang

March 2026

arXiv | March 2026

Preprint

Security, privacy, and cryptography

Highlights