Security, privacy, and cryptography

Publication

Missive: Fast Appliance Launch From an Untrusted Buffer Cache

Jon Howell, Jeremy Elson, Bryan Parno, John (JD) Douceur

MSR-TR-2013-9 | January 2013

Publication

How to Run POSIX Apps in a Minimal Picoprocess

Jon Howell, Bryan Parno, John (JD) Douceur

MSR-TR-2013-10 | January 2013

Video

Building a Better Anonymous

January 18, 2013 | Joshua Corman

13:45

Publication

Orthogonal Security With Cipherbase

Arvind Arasu, Spyros Blanas, Ken Eguro, Raghav Kaushik, Donald Kossmann, Ravi Ramamurthy, Ramarathnam Venkatesan

6th Biennial Conference on Innovative Data Systems Research (CIDR’13) | January 2013

6th Biennial Conference on Innovative Data Systems Research (CIDR'13)

Publication

Small World: Collisions Among Attackers in a Finite Population

Cormac Herley

WEIS | January 2013

Publication

Fully Automated Analysis of Padding-Based Encryption in the Computational Model

Gilles Barthe, Juan Manuel Crespo, César Kunz, Benedikt Schmidt, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella-Béguelin

20th ACM Conference on Computer and Communications Security, CCS 2013 | January 2013

Publication

Migration to the Cloud Made Safe and Secure

Ken Eguro, Kaushik Rajan, Ravi Ramamurthy, Kapil Vaswani, Ramarathnam Venkatesan

Off the Beaten Track (OBT) Workshop | January 2013

Publication

Does My Password Go up to Eleven? The Impact of Password Meters on Password Selection

Serge Egelman, Andreas Sotirakopoulos, Ildar Muslukhov, Konstantin Beznosov, Cormac Herley

Proc. CHI | January 2013

Publication

Counter-Factual Reinforcement Learning: How to Model Decision-Makers That Anticipate the Future

Ritchie Lee, David Wolpert, Scott Backhaus, Russell Bent, Brendan Tracey

Decision Making and Imperfection, 4 | Published by Springer | 2013, Vol 474

ISBN: 978-3-642-36406-8

Publication

Smart Meter Aggregation via Secret-Sharing

George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella-Béguelin

2013 Smart Energy Grid Security Workshop, SEGS 2013 | January 2013

To appear

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

Missive: Fast Appliance Launch From an Untrusted Buffer Cache

How to Run POSIX Apps in a Minimal Picoprocess

Building a Better Anonymous

Orthogonal Security With Cipherbase

Small World: Collisions Among Attackers in a Finite Population

Fully Automated Analysis of Padding-Based Encryption in the Computational Model

Migration to the Cloud Made Safe and Secure

Does My Password Go up to Eleven? The Impact of Password Meters on Password Selection

Counter-Factual Reinforcement Learning: How to Model Decision-Makers That Anticipate the Future

Smart Meter Aggregation via Secret-Sharing

Security, privacy, and cryptography

Highlights