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

現在の選択

並べ替え: 最近

選択内容のクリア

この結果内で検索する

コンテンツタイプ

公開日

Attack and Defense of Dynamic Analysis-Based, Adversarial Neural Malware Detection Models

Jack W. Stokes, De Wang, Mady Marinsescu, Marc Marino, Brian Bussone

IEEE Military Communications Conference (MILCOM) | October 2018

プロジェクト

公開日

Improved Bootstrapping for Approximate Homomorphic Encryption

Hao Chen, Yongsoo Song, Ilaria Chillotti

October 2018

プロジェクト

公開日

Labeled PSI from Fully Homomorphic Encryption with Malicious Security

Hao Chen, Zhicong Huang, Kim Laine, Peter Rindal

ACM SIGSAC Conference on Computer and Communications Security | October 2018

プロジェクト

動画

Microsoft Research New England 10th Anniversary Symposium – Closing Remarks

October 11, 2018 | Nicole Immorlica; Jennifer Chayes

Senior Researcher Nicole Immorlica and Managing Director Jennifer Chayes offer closing remarks for Microsoft Research New England 10th Anniversary Symposium.

06:48

動画

Microsoft Research New England 10th Anniversary Symposium – Different Disciplines, Shared Vision

October 11, 2018 | Nicole Immorlica, Christian Borgs

Senior Researcher Nicole Immorlica and Deputy Managing Director Christian Borgs offer opening remarks for Microsoft Research New England 10th Anniversary Symposium.

05:59

動画

Microsoft Research New England 10th Anniversary Symposium – Panel: Fairness, Accountability, Transparency, and Ethics

October 11, 2018 | Nicole Immorlica, Hanna Wallach, Timnit Gebru, Deborah Hellman, Adam Kalai, Mira Lane

This panel will discuss how computer science intersects with issues of fairness, accountability, transparency and ethics. Experts will discuss what these concepts mean in general and in the particular context of systems employing artificial intelligence.…

01:01:12

公開日

Logistic regression over encrypted data from fully homomorphic encryption

Hao Chen, Ran Gilad-Bachrach, Kyoohyung Han, Zhicong Huang, Amir Jalali, Kim Laine, Kristin Lauter

BMC Medical Genomics | October 2018, 巻11(4)

プロジェクト

EzPC (Easy Secure Multi-party Computation)

Consider the following scenario: Two hospitals, each having sensitive patient data, must compute statistical information about their joint data. Or, one of the hospitals has a pre-trained ML model based on sensitive patient data and…

公開日

Graviton: Trusted Execution Environments on GPUs

Stavros Volos, Kapil Vaswani, Rordigo Bruno

13th USENIX Symposium on Operating Systems Design and Implementation | October 2018

プロジェクト

公開日

Proving the correct execution of concurrent services in zero-knowledge

Srinath Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee

Symposium on Operating Systems Design and Implementation (OSDI) | October 2018

Security, privacy, & cryptography

ハイライト