Security, privacy, & cryptography

公開日

Computing rate-distortion optimized policies for streaming media to wireless clients

Jacob Chakareski, Philip A. Chou, Behnaam Aazhang, Philip A. Chou

Proc. Data Compression Conference | April 2002

公開日

Binder, a logic-based security language

John DeTreville

MSR-TR-2002-21 | March 2002

公開日

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

Josh Benaloh

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

Security, privacy, & cryptography

Verifying Rust cryptography in SymCrypt, from standards to code

Vega: Zero-knowledge proofs for digital identity in the age of AI

Ire identifies another LOTUSLITE specimen

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Computing rate-distortion optimized policies for streaming media to wireless clients

Binder, a logic-based security language

Statistical Identification of Encrypted Web Browsing Traffic

Statistical Identification of Encrypted Web Browsing Traffic

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

Typing Correspondence Assertions for Communication Protocols

Authenticity by Typing for Security Protocols

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

Key Compression and its Application to Digital Fingerprinting

Practical Byzantine Fault Tolerance

Security, privacy, & cryptography

ハイライト