Security, privacy, & cryptography

论文与出版物

Hash functions: Theory, attacks, and applications

Ilya Mironov

MSR-TR-2005-187 | November 2005

论文与出版物

Signatures for Network Coding

Denis Charles, Kamal Jain, Kristin Lauter

MSR-TR-2005-159 | November 2005

项目

论文与出版物

Control-Flow Integrity – Principles, Implementations, and Applications

Martin Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti

November 2005

论文与出版物

Vigilante: end-to-end containment of internet worms

Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron, Lintao Zhang, Lidong Zhou, Paul Barham

ACM Symposium on Operating Systems Principles (SOSP) | October 2005

论文与出版物

A comparative evaluation of two algorithms for Windows Registry anomaly detection

Salvatore Stolfo, Frank Apap, Eleazar Eskin, Katherine Heller, Shlomo Hershkop, Andrew Honig, Krysta M. Svore, Krysta M. Svore

Journal of Computer Security | October 2005, 第 13 卷(4): pp. 659-693

论文与出版物

Cassandra: Flexible Trust Management and its Application to Electronic Health Records

Mo Becker

October 2005

论文与出版物

RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking

Yuan Yu, Tom Rodeheffer, Wei Chen

ACM Symposium on Operating Systems Principles (SOSP 2005) | October 2005

ACM Symposium on Operating Systems Principles (SOSP 2005)

2005

论文与出版物

Black Box Leases

Jon Howell, John (JD) Douceur

MSR-TR-2005-120 | September 2005

Readable version of patent application, filed 2004.12.17.

论文与出版物

Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus

Andy Gordon, Alan Jeffrey

16th International Conference, CONCUR 2005, San Francisco, CA, USA | August 2005

ISBN: 9783540283096

论文与出版物

A Joint PHY/MAC Architecture for Low-Radiated Power TH-UWB Wireless Ad-Hoc Networks

Ruben Merz, Joerg Widmer, Jean-Yves Le Boudec, Bozidar Radunovic

Wireless Communications and Mobile Computing Journal, Special Issue on Ultrawideband (UWB) Communications | August 2005, pp. 567-580

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

Hash functions: Theory, attacks, and applications

Signatures for Network Coding

Control-Flow Integrity – Principles, Implementations, and Applications

Vigilante: end-to-end containment of internet worms

A comparative evaluation of two algorithms for Windows Registry anomaly detection

Cassandra: Flexible Trust Management and its Application to Electronic Health Records

RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking

Black Box Leases

Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus

A Joint PHY/MAC Architecture for Low-Radiated Power TH-UWB Wireless Ad-Hoc Networks

Security, privacy, & cryptography

高亮