Security, privacy, and cryptography

Project

Database Privacy

Overview The problem of statistical disclosure control—revealing accurate statistics about a population while preserving the privacy of individuals—has a venerable history. An extensive literature spans multiple disciplines: statistics, theoretical computer science, security, and databases. Nevertheless,…

Publication

Improved Weil and Tate pairings for elliptic and hyperelliptic curves

Kirsten Eisenträger, Kristin Lauter, Peter Montgomery

Algorithmic Number Theory – ANTS-VI, LNCS 3076 | November 2003

LNCS 3076

Project

Publication

Beyond SYNFloods: Guarding Web Server Resources from DDoS Attacks

Srikanth Kandula, Shan Sinha, Dina Katabi, Matthias Jacob

October 2003

SOSP 2003 Work-in-progress Session

Publication

Secure Invisible Computing

Yong Xiong, Johannes Helander, Alessandro Forin, Gideon Yuval

MSR-TR-2003-65 | October 2003

Publication

Generating Random Factored Numbers, Easily

Adam Tauman Kalai

Journal of Cryptology | September 2003, Vol 16(4): pp. 287-289

Publication

BASE: Using Abstraction to Improve Fault Tolerance

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov

ACM Transactions on Computer Systems (TOCS) | August 2003

Publication

A Trusted Open Platform

Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman

IEEE Computer | July 2003, Vol 36(7): pp. 55-62

Publication

Typing One-to-One and One-to-Many Correspondences in Security Protocols

Andy Gordon, Alan Jeffrey

Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8-10, 2002 Revised Papers | June 2003

ISBN: 978-3-540-00708-1 (Print) 978-3-540-36532-7 (Online)

Publication

A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities

Shuo Chen, Ravishankar K. Iyer, Jun Xu, Zbigniew Kalbarczyk

IEEE International Conference on Dependable Systems and Networks | June 2003

Project

Samoa: Formal Tools for Securing Web Services

An XML web service is, to a first approximation, a wide-area RPC service in which requests and responses are encoded in XML as SOAP envelopes, and transported over HTTP. Applications exist on the internet (for…

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

Database Privacy

Improved Weil and Tate pairings for elliptic and hyperelliptic curves

Beyond SYNFloods: Guarding Web Server Resources from DDoS Attacks

Secure Invisible Computing

Generating Random Factored Numbers, Easily

BASE: Using Abstraction to Improve Fault Tolerance

A Trusted Open Platform

Typing One-to-One and One-to-Many Correspondences in Security Protocols

A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities

Samoa: Formal Tools for Securing Web Services

Security, privacy, and cryptography

Highlights