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

現在の選択

並べ替え: 最近

選択内容のクリア

この結果内で検索する

コンテンツタイプ

公開日

Malware Classification With Recurrent Networks

Razvan Pascanu, Jack W. Stokes, Hermineh Sanossian, Mady Marinescu, Anil Thomas

Proceedings IEEE Conference on Acoustics, Speech, and Signal Processing (ICASSP) | April 2015

プロジェクト

公開日

Transaction Processing on Confidential Data Using Cipherbase

Arvind Arasu, Ken Eguro, Manas Joglekar, Raghav Kaushik, Donald Kossmann, Ravi Ramamurthy

31st IEEE International Conference on Data Engineering (ICDE) | April 2015

公開日

A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-Wise Tampering and Permutations

Shashank Agrawal, Divya Gupta, Hemanta K. Maji, Omkant Pandey, Manoj Prabhakaran

TCC | March 2015

Microsoft Research ブログ

Cryptographer’s challenge: Keeping genetic secrets while advancing genetic research

March 20, 2015

Posted by Allison Linn Kristin Lauter is solving a problem you may not even know you have: She’s working to keep your most personal data private and secure. We’re not talking about your bank account…

Blue illustrated lock with binary code and nodes

公開日

Post-quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem

Joppe Bos, Craig Costello, Michael Naehrig, Douglas Stebila

Proceedings of the IEEE Symposium on Security and Privacy | March 2015

プロジェクト

公開日

Protecting Data on Smartphones and Tablets from Memory Attacks

Patrick Colp, Jianwen Zhang, James Gleeson, Sahil Suneja, Eyal de Lara, Himanshu Raj, Stefan Saroiu, Alec Wolman

ASPLOS ’15 Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems | March 2015

公開日