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

現在の選択

並べ替え: 最近

選択内容のクリア

公開日

CrypTFlow2: Practical 2-Party Secure Inference

Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma

27th Annual Conference on Computer and Communications Security (ACM CCS 2020) | August 2020

プロジェクト

公開日

SANNS: Scaling Up Secure Approximate k-Nearest Neighbors Search

Hao Chen (haoche), Ilaria Chillotti, Yihe Dong, Oxana Poburinnaya, Ilya Razenshteyn (ilyaraz), M. Sadegh Riazi

USENIX Security | August 2020

公開日

Visor: Privacy-Preserving Video Analytics as a Cloud Service

Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa

29th USENIX Security Symposium | August 2020

CSAW 2020 Applied Research Competition Award (Runner-up)

プロジェクトプロジェクトプロジェクト

公開日

Spartan: Efficient and general-purpose zkSNARKs without trusted setup

40th Annual International Cryptology Conference | August 2020

公開日

KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities

Weiteng Chen, Xiaochen Zou, Guoren Li, Zhiyun Qian

29th USENIX Security Symposium (USENIX Security 20) | August 2020

ツール

Spartan zkSNARK library

A Rust library for high-speed zkSNARKs without trusted setup.

GitHub 公開日公開日

公開日

Operationalizing the Legal Principle of Data Minimization for Personalization

Asia J. Biega, Peter Potash, Hal Daumé III, Fernando Diaz, Michèle Finck

SIGIR 2020 | July 2020

公開日

Nineteen cybersecurity best practices used to implement the seven properties of highly secured devices in Azure Sphere

Edmund B Nightingale, P. Orwick

MSR-TR-2020-56 | July 2020

Microsoft による投稿

公開日

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language

Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel

Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020

プロジェクト

Enabling Confidential Containers With SGX-LKL

By enabling confidential containers through the SGX-LKL project, we aim to provide a solution for deploying existing workloads with strong confidential computing guarantees in hardware-based trusted execution environments, thereby allowing customers to deploy these workloads…

プライバシーに関する選択