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

현재 선택 항목

정렬 기준: 가장 최근 순

선택 해제

이 결과 내에서 검색

콘텐츠 유형

게시 날짜 표시

출판

Selective Pre-training for Private Fine-tuning

Da Yu, Sivakanth Gopi, Janardhan (Jana) Kulkarni, Zinan Lin, Saurabh Naik, Tomasz Lukasz Religa, Jian Yin, Huishuai Zhang

TMLR | May 2024

프로젝트

출판

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

Nathaniel Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Norton-Wright, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson

ASPLOS ’24 | April 2024

프로젝트

툴

VeriSMo Research Prototype

VeriSMo: A formally verified security module for AMD confidential VMs.

깃허브 출판

동영상

TrustRate: A Decentralized Platform for Hijack-Resistant Anonymous Reviews

April 24, 2024 | Rohit Dwivedula

Host: Kim LaineSpeaker: Rohit Dwivedula Reviews and ratings by users form a central component in several widely used products today (e.g., product reviews, ranking content, etc.), but today’s platforms for managing such reviews are centralized,…