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

하이라이트