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 England Researcher Finds Her Bliss

May 14, 2009

By Rob Knies, Managing Editor, Microsoft Research Even now, almost a year after joining Microsoft Research New England, Yael Tauman Kalai can hardly believe her good fortune. “Really, really awesome,” enthuses Kalai, 34, about her…

출판

Differential Privacy and Robust Statistics

Cynthia Dwork

Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC) | May 2009

Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC)

프로젝트 프로젝트

출판

A Public Key Encryption Scheme Secure against Key Dependent Chosen Plaintext and Adaptive Chosen Ciphertext Attacks

Jan Camenisch, Nishanth Chandran, Victor Shoup

Advances in Cryptology – EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings | May 2009

Advances in Cryptology – EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings

ISBN: 978-3-642-01000-2

출판

Pretty-Bad-Proxy: An Overlooked Adversary in Browsers’ HTTPS Deployments

Shuo Chen, Ziqing Mao, Yi-Min Wang, Ming Zhang

Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2009

Proceedings of the IEEE Symposium on Security and Privacy (Oakland)

출판

On the Complexity of Differentially Private Data Release: Efficient Algorithms and Hardness Results

Cynthia Dwork, Moni Naor, Omer Reingold, Guy Rothblum, Salil Vadhan

Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC) | May 2009

Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC)

프로젝트

동영상

(4,4)-split Jacobians of curves of genus 2

April 23, 2009 | Nils Bruin

Curves of genus 2 have an associated abelian surface, their jacobian. One can classify genus 2 curves according to special properties of their jacobians. For instance, a jacobian can be split: isogenous to a product…

57:05

동영상

Advances in the CM method for elliptic curves

April 22, 2009 | Francois Morain

The complex multiplication method (CM method) builds an algebraic curve over a given finite field GF(q) and having an easily computable cardinality. Used at first for elliptic curves, this method is one of the building…