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

People

Published Date

Project

Provenance for Trustworthy Digital Media

Cryptographically securing the authenticity of digital assets As generative AI accelerates the creation of realistic synthetic media (e.g., photos, videos, audio, documents), it is increasingly difficult for people and platforms to distinguish authentic content from…

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

Publication

HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation

Claudius Pott, Luca Wilke, Jan Wichelmann, Thomas Eisenbarth

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

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

Career Opportunity

Principal Applied Science Manager

Posted: March 13, 2026

Location: Hyderabad, Telangana, India

Research Area(s): Artificial intelligence, Programming languages and software engineering, Security, privacy, and cryptography

Microsoft Bing’s RAI Defensives team is focused on keeping Bing safe for our customers by detecting queries and content that require due diligence for the best user experience. All this using the state-of-the-art deep learnt…

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

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

Security, privacy, and cryptography

Highlights