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

現在の選択

並べ替え: 最近

選択内容のクリア

この結果内で検索する

コンテンツタイプ

公開日

Security Trend Analysis with CVE Topic Models

Stephan Neuhaus, Tom Zimmermann

Proceedings of the 21st IEEE International Symposium on Software Reliability Engineering (ISSRE) | November 2010

プロジェクト

公開日

Public key encryption schemes with bounded CCA security and optimal ciphertext length based on the CDH assumption

Mayana Pereira, Rafael Dowsley, Goichiro Hanaoka, Anderson C. A. Nascimento

2010 International Conference on Information Security | October 2010

プロジェクト

Privacy-Friendly Smart Metering

Many smart metering proposals threaten users’ privacy by disclosing fine-grained consumption data to utilities. We have designed protocols that allow for precise billing of consumption while not revealing any consumption information to third parties. We…

公開日

Attacks and Design of Image Recognition CAPTCHAs

Bin Benjamin Zhu, Jeff Yan, Qiujie Li, Chao Yang, Jia Liu, Ning Xu, Meng Yi, Kaiwei Cai

ACM Conference on Computer and Communications Security (ACM CCS) 2010 | October 2010

公開日

The Limits of Two-Party Differential Privacy

Ilya Mironov, Omer Reingold, Kunal Talwar

51st Annual IEEE Symposium on Foundations of Computer Science (FOCS 2010) | October 2010

51st Annual IEEE Symposium on Foundations of Computer Science (FOCS 2010)

プロジェクト

公開日

Cryptography Resilient to Continual Memory Leakage

Zvika Brakerski, Yael Tauman Kalai, Jonathan Katz, Vinod Vaikuntanathan

IEEE 51st Annual Symposium on Foundations of Computer Science | October 2010

公開日

Depot: Cloud Storage with Minimal Trust

Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish

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

Symposium on Operating Systems Design and Implementation (OSDI)

公開日

How to Tell an Airport from a Home: Techniques and Applications

Andreas Pitsillidis, Yinglian Xie, Fang Yu, Martin Abadi, Geoffrey M. Voelker, Stefan Savage

HotNets 2010 | October 2010

Microsoft Research ブログ

New Redmond Lab Head Seeks Elegance

September 28, 2010

By Rob Knies, Senior Editor, Microsoft Research Peter Lee is a bit of a daredevil, having pursued race-car driving in his youth. He’s also a fervent believer in the importance of finding beautiful solutions to…

公開日

ScriptGard: Preventing Script Injection Attacks in Legacy Web Applications with Automatic Sanitization

Prateek Saxena, David Molnar, Ben Livshits

MSR-TR-2010-128 | September 2010

Security, privacy, & cryptography

ハイライト