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

Recherche dans ces résultats

Types de contenu

Date de publication

Publication

Spacelord: Private and Secure Smart Space Sharing

Yechan Bae, Sarbartha Banerjee, Sangho Lee, Marcus Peinado

38th Annual Computer Security Applications Conference (ACSAC 2022) | December 2022

Publication

I Know Your Triggers: Defending against Textual Backdoor Attacks with Benign Backdoor Augmentation

Yue Gao, Jack W. Stokes, Manoj Prasad, Andrew T. Marshall, Kassem Fawaz, Emre Kiciman

Military Communications Conference | November 2022

Projet

Blog de recherche Microsoft

Research trends in privacy, security and cryptography

November 17, 2022 | Manuel Costa, Weidong Cui, Karen Easterbrook, Paul England, Hamed Khanpour, Kim Laine, Kapil Vaswani, Mike Walker, Ryen W. White

Trust is essential for people and organizations to use technology with confidence. At Microsoft, we strive to earn the trust of our customers, employees, communities, and partners by committing to privacy, security, the responsible use…

Outil

MacTok

MacTok is a research prototype for a one-time anonymous token scheme based on algebraic MACs. A Rust library for implementing anonymous one-time tokens from algebraic MACs, it embeds a private bit by the server to…

GitHub GitHub

Outil

MICO

Welcome to the Microsoft Membership Inference Competition (MICO)! In this competition, you will evaluate the effectiveness of differentially private model training as a mitigation against white-box membership inference attacks.

GitHub GitHub

Publication