Security, privacy, and cryptography

Publication

Okapi/Keenbow at TREC-8

Stephen Robertson, S. Walker

The Eighth Text REtrieval Conference (TREC-8) | January 2000

The Eighth Text REtrieval Conference (TREC–8)

Group

Constructive Security

The Constructive Security Group at Microsoft Research Cambridge seeks robust solutions to real-world large-scale security and privacy problems.

Publication

Securing Ad Hoc Networks

Lidong Zhou, Zygmunt J. Haas

IEEE Networks Special Issue on Network Security | November 1999

Publication

Information Systems Security

Thomas Berson, Richard Kemmerer, Butler Lampson

Realizing the Potential of C4I: Fundamental Challenges, 3 | Published by National Academy Press | 1999

ISBN: 978-0-309-06485-9

Publication

Designing Presentations for On-Demand Viewing

Jonathan Grudin, Anoop Gupta, Li-wei He

MSR-TR-99-69 | September 1999

Publication

SPKI Certificate Theory

Carl Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian Thomas, Tatu Ylonen

September 1999

Internet RFC 2693

Publication

Wallflower: Principles and Practice of Background Maintenance

Kentaro Toyama, John Krumm, Barry Brumitt, Brian Meyers

Seventh International Conference on Computer Vision | September 1999

Publication

A Calculus for Cryptographic Protocols: The Spi Calculus

Martı́n Abadi, Andy Gordon

Information and Computation | January 1999, Vol 148(1): pp. 1-70

Publication

“Cooperative Security”: A Model for the New Enterprise

Brian LaMacchia

WETICE ’98: Proceedings of the 7th Workshop on Enabling Technologies | June 1998

ISBN: 0-8186-8751-7

Publication

High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems

Tolga Acar

June 1998

PhD Thesis: Oregon State University | June 1998

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Okapi/Keenbow at TREC-8

Constructive Security

Securing Ad Hoc Networks

Information Systems Security

Designing Presentations for On-Demand Viewing

SPKI Certificate Theory

Wallflower: Principles and Practice of Background Maintenance

A Calculus for Cryptographic Protocols: The Spi Calculus

“Cooperative Security”: A Model for the New Enterprise

High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems

Security, privacy, and cryptography

Highlights