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

Detecting Anomalous Time Series by GAMLSS-Akaike-Weights-Scoring

Cole Sodja

Journal of Computational and Graphical Statistics | February 2021, pp. 1-13

Vidéo

Microsoft Research Conversations in STEM: Future Horizons of Science

February 10, 2021 | Yael Tauman Kalai, Bichlien Nguyen, Andromachi Chatzieleftheriou, Emma Dauterman

Future Horizons of Science If you agree with Arthur C. Clarke that the only way to discover the limits of the possible is to venture a little way past them into the impossible, you’ll be…

01:00:19

Outil

DICE*

This project develops a formally verified implementation of the DICE measured boot protocol for IoT devices, micro-controllers, and other devices (microsoft/RIoT (opens in new tab)). The implementation is provably memory safe, functionally correct, and resistant…

GitHub GitHub

Publication

Banquet: Short and Fast Signatures from AES

Carsten Baum, Cyprien Delpech de Saint Guilhem, Daniel Kales, Emmanuela Orsini, Peter Scholl, Greg Zaverucha

PKC 2021 | February 2021

Projet Projet

Vidéo

Interactive Error Resilience and the Surprising Power of Feedback

February 3, 2021 | Raghuvansh Saxena

Interactive error correcting codes are codes that encode a two party communication protocol to an error-resilient protocol that succeeds even if a constant fraction of the communicated symbols are adversarially corrupted, at the cost of…

54:15

Publication

Fast and Memory Efficient Differentially Private-SGD via JL Projections

Zhiqi Bu, Sivakanth Gopi, Janardhan (Jana) Kulkarni, Yin Tat Lee, Judy Hanwen Shen, Uthaipon Tantipongpipat

NeurIPS 2021 | February 2021

Projet

Publication

SIRNN: A Math Library for Secure RNN Inference

Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi

42nd IEEE Symposium on Security and Privacy (IEEE S&P 2021) | February 2021

Projet

Publication

DRLDO A Novel DRL based De obfuscation System for Defence Against Metamorphic Malware

Mohit Sewak, Sanjay K. Sahay, Hemant Rathore

Defence Science Journal | January 2021, Vol 71(1): pp. 55-65

Publication

Property Inference from Poisoning

Melissa Chase, Esha Ghosh, Saeed Mahloujifar

January 2021

Projet

Confidential Consortium Framework

Confidential Consortium Framework – a framework to build secure, highly available, and performant applications that focus on multi-party compute and data https://github.com/microsoft/ccf

Security, privacy, & cryptography

Fait saillants