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

현재 선택 항목

정렬 기준: 가장 최근 순

선택 해제

이 결과 내에서 검색

콘텐츠 유형

게시 날짜 표시

출판

Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs

Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath Setty, Jess Woods

USENIX Security | August 2024

출판

VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model

Tianyu Chen, Lin Li, Liuchuan Zhu, Zongyang Li, Xueqing Liu, Guangtai Liang, Qianxiang Wang, Tao Xie

ACL 2024 | August 2024

출판

Securely Training Decision Trees Efficiently

Divyanshu Bhardwaj, Sandhya Saravanan, Nishanth Chandran, Divya Gupta

31st Annual Conference on Computer and Communications Security (ACM CCS 2024) | August 2024

프로젝트

출판

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

Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin

USENIX Security Symposium | August 2024

프로젝트

출판

Stealing Part of a Production Language Model

Nicholas Carlini, Daniel Paleka, Krishnamurthy Dj Dvijotham, Thomas Steinke, Jonathan Hayase, A. Feder Cooper, Katherine Lee, Matthew Jagielski, Milad Nasr, Arthur Conmy, Itay Yona, Eric Wallace, David Rolnick, Florian Tramèr

ICML 2024 | July 2024

Best Paper

출판

Intersecting-Boundary-Sensitive Fingerprinting for Tampering Detection of DNN Models

Bin Benjamin Zhu

International Conference on Machine Learning | July 2024

출판

TrustRate: A Decentralized Platform for Hijack-Resistant Anonymous Reviews

Rohit Dwivedula, Sriram Sridhar, Sambhav Satija, Muthian Sivathanu, Nishanth Chandran , Divya Gupta, Satya Lokam

July 2024

https://arxiv.org/abs/2402.18386

출판

SLIP: Securing LLMs IP Using Weights Decomposition

Yehonathan Refael, Adam Hakim, Lev Greenberg, Tal Aviv, Satya Lokam, Ben Fishman, Shachar Seidman

ArXiv | July 2024

출판

VeriSMo: A Verified Security Module for Confidential VMs

Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui

OSDI 2024 | July 2024

Jay Lepreau Best Paper Award

Awarded Best Paper!

Github 프로젝트

그룹

M365 Research

Delivering Agentic AI systems that combine high-quality outcomes with enterprise-scale efficiency M365 Research advances enterprise-grade Agentic AI so Microsoft Copilot can become a trusted and skilled digital coworker embedded in the flow of enterprise work.…

Security, privacy, & cryptography

하이라이트