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

Security, privacy, & cryptography

Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.

Diagram showing the process of verifying cryptographic code. An algorithm from a standard is converted into a formal specification, while Rust code is converted into a code model. The specification and code model are then compared through proof and verification steps.

Verifying Rust cryptography in SymCrypt, from standards to code

Three white line-style icons centered on a textured blue-to-green gradient background: a shield, a checkmark inside a circle, and an ID card with a user silhouette—representing security, verification, and digital identity.

Vega: Zero-knowledge proofs for digital identity in the age of AI

Project Ire | | three white line icons on an abstract purple background | greater than / less than icon, search icon, shield icon

Ire identifies another LOTUSLITE specimen

Social Reasoning Bench | four icons on a blue to green gradient | person icon, chat bubble icon, chart icon, checklist icon

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Sélections actuelles

Trier par: Le plus récent

Effacer les sélections

Publication

GAFSV-Net: A Vision Framework for Online Signature Verification

Himanshu Singhal, Suresh Sundaram

April 2026

arXiv | April 2026

Publication

Differentially Private Contrastive Learning via Bounding Group-level Contribution

Kecen Li, Chen Gong, Zinan Lin, Tianhao Wang, Xiaokui Xiao

April 2026

arXiv | April 2026

Publication

Separable Expert Architecture: Toward Privacy-Preserving LLM Personalization via Composable Adapters and Deletable User Proxies

C. Schneider, Philipp Schoenegger, Ben Bariach

April 2026

arXiv | April 2026

Publication

Scoop: Mitigation of Recapture Attacks on Provenance-Based Media Authentication

Yuxin (Myles) Liu, Habiba Farrukh, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik

ACM GetMobile | April 2026

Publication

Reasoning-Aware AIGC Detection via Alignment and Reinforcement

Zhao Wang, Max Xiong, Jianxun Lian, Zhicheng Dou

April 2026

arXiv | April 2026

Publication

ABDP: Adversarial Backdoor Detection and Purification

Haojie Yuan, Bin Benjamin Zhu, Qi Chu, Tao Gong, Nenghai Yu, Dongmei Zhang

IEEE Transactions on Information Forensics and Security | April 2026

Publication

Don’t Let AI Agents YOLO Your Files: Shifting Information and Control to Filesystems for Agent Safety and Autonomy

Shawn Zhong, Junxuan Liao, Jing Liu, Mai Zheng, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau

April 2026

arXiv | April 2026

Publication

Listening Alone, Understanding Together: Collaborative Context Recovery for Privacy-Aware AI

Tanmay Srivastava, Amartya Basu, Shubham Jain, Vaishnavi Ranganathan

April 2026

arXiv | April 2026

Publication

The Blind Spot of Agent Safety: How Benign User Instructions Expose Critical Vulnerabilities in Computer-Use Agents

Xuwei Ding, S. Zhai, Linxin Song, Jia-Te Li, Taiwei Shi, Nicholas Meade, S. Reddy, Jianyin Kang, Jie-Yu Zhao

ArXiv | April 2026, Vol abs/2604.10577

Publication

Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software

D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin

PLDI 2026 | April 2026

Vos choix de confidentialité