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

現在の選択

並べ替え: 最近

選択内容のクリア

この結果内で検索する

コンテンツタイプ

公開日

Microsoft Research ブログ

New Microsoft Research Dissertation Grant provides support to under-represented groups in computing

March 7, 2017

By Dr. Meredith Ringel Morris, Principal Researcher, Microsoft Research I am pleased to announce that Microsoft Research is funding a new academic program, the Microsoft Research Dissertation Grant. This grant program offers selected doctoral students…

Microsoft Research Dissertation Grant Program

公開日

Malware Classification with LSTM and GRU Language Models and a Character-Level CNN

Ben Athiwaratkun, Jack W. Stokes

Proceedings IEEE Conference on Acoustics, Speech, and Signal Processing (ICASSP) | March 2017

プロジェクト

公開日

Panoply: Low-TCB Linux Applications With SGX Enclaves

Shweta Shinde, Dat Le Tien, Shruti Tople , Prateek Saxena

Network and Distributed System Security Symposium (NDSS) | March 2017

公開日

An Evil Copy: How the Loader Betrays You

Xinyang Ge, Mathias Payer, Trent Jaeger

Proceedings of the 21st Network and Distributed System Security Symposium (NDSS) | February 2017

公開日

HOP: Hardware makes Obfuscation Practical

Kartik Nayak, Christopher W. Fletcher, Ling Ren, Nishanth Chandran, Satya Lokam, Elaine Shi, Vipul Goyal

Network and Distributed System Security Symposium 2017 | February 2017

公開日

T-SGX: Eradicating Controlled-Channel Attacks Against Enclave Programs

Ming-Wei Shih, Sangho Lee, Taesoo Kim, Marcus Peinado

Network and Distributed System Security Symposium 2017 (NDSS’17) | February 2017

動画

Michael Naehrig RWC 2017

February 24, 2017 | Michael Naehrig, Tricia Mayer

Published on Jan 31, 2017 Technical talks from the Real World Crypto conference series.

動画

Efficient Algorithms for Supersingular Isogeny Diffie Hellman

February 24, 2017 | Craig Costello, Michael Naehrig, Patrick Longa, Tricia Mayer

Published on Sep 26, 2016 Craig Costello and Patrick Longa and Michael Naehrig, Crypto 2016. See http://www.iacr.org/cryptodb/data/paper.php

公開日

Sieving for shortest vectors in ideal lattices: a practical perspective

Joppe Bos, Michael Naehrig, Joop Van De Pol

International Journal of Applied Cryptography | February 2017, 巻3(4): pp. 313-329

プロジェクト

公開日

A Practical GPS Location Spoofing Attack in Road Navigation Scenario

Kexiong (Curtis) Zeng, Yuanchao Shu, Shinan Liu, Yanzhi Dou, Yaling Yang

ACM Workshop on Mobile Computing Systems and Applications (HotMobile) | February 2017

Security, privacy, & cryptography

ハイライト