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

当前选择

排序方式: 最新

论文与出版物

Statistical Identification of Encrypted Web Browsing Traffic

Qixiang Sun, Daniel R. Simon, Yi-Min Wang, Wilf Russell, Venkat Padmanabhan, Lili Qiu

MSR-TR-2002-23 | March 2002

论文与出版物

Statistical Identification of Encrypted Web Browsing Traffic

Qixiang Sun, Daniel R. Simon, Yi-Min Wang, Wilf Russell, Venkat Padmanabhan, Lili Qiu

IEEE Symposium on Security and Privacy | January 2002

论文与出版物

Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)

Martin Abadi, Phillip Rogaway

Journal of Cryptology | January 2002, 第 20 卷(3): pp. 395

论文与出版物

Typing Correspondence Assertions for Communication Protocols

Andy Gordon, Alan Jeffrey

Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001) | November 2001

论文与出版物

Authenticity by Typing for Security Protocols

Andy Gordon, Alan Jeffrey

MSR-TR-2001-49 | June 2001

ISBN: 0-7695-1147-3

14th IEEE Computer Security Foundations Workshop (CSFW 2001)

论文与出版物

Hash Functions: From Merkle-DamgÃ¥rd to Shoup

Ilya Mironov

Advances in Cryptology—EUROCRYPT 2001 | May 2001

ISBN: 3-540-42070-3

论文与出版物

Key Compression and its Application to Digital Fingerprinting

MSR-TR-2001-121 | April 2001

作者：Microsoft

论文与出版物

Practical Byzantine Fault Tolerance

Miguel Castro

January 2001

博士论文：Massachusetts Institute of Technology | January 2001

George M. Sprowls Award

论文与出版物

Mobile Values, New Names, and Secure Communication

Martın Abadi, Cédric Fournet

28th ACM Symposium on Principles of Programming Languages (POPL’01) | January 2001

论文与出版物

Constructing elliptic curves with a given number of points over a finite field

Amod Agashe, Kristin Lauter, Ramarathnam Venkatesan

Fields Insitute Communications Series, Volume 42, High Primes and Misdemeanours: lectures in honour of the 60th birthday of Hugh Cowie Williams | January 2001

你的隐私选择