Date |
Topic |
Discussion Leader |
January 25 |
Organizational Meeting |
Ethan Cecchetti |
February 1 |
On Post-compromise Security
Katriel Cohn-Gordon, Cas Cremers, and Luke Garratt
CSF '16
|
Ethan Cecchetti |
February 8 |
Big Data Analytics over Encrypted Datasets with Seabed
Antonis Papadimitriou, Ranjita Bhagwan, Nishanth Chandran, Ramachandran Ramjee, Andreas Haeberlen, Harmeet Singh, Abhishek Modi, and Saikrishna Badrinarayanan
OSDI '16
|
Theo Ghountouvas |
February 15 |
USENIX Drafts |
Ethan Cecchetti |
February 22 |
Riffle
Albert Kwon, David Lazar, Srinivas Devadas, and Bryan Ford
PETS '16
|
Phil Daian |
March 1 |
Du-Vote: Remote Electronic Voting with Untrusted Computers
Gurchetan S. Grewal, Mark D. Ryan, Liqun Chen, and Michael R. Clarkson
CSF '15
|
Edward Tremel |
March 8 |
How I Learned to be Secure: a Census-Representative Survey of Security Advice Sources and Behavior
Elissa M. Redmiles, Sean Kross, and Michelle L. Mazurek
CCS '16
|
Tom Magrino |
March 10
TPLS Crosslist
14:00 – 15:00
|
A Per Model of Secure Information Flow in Sequential Programs
Andrei Sabelfeld and David Sands
ESOP '99
|
Andrew Hirsch |
March 15 |
(University Closed for Snow Emergency) |
|
March 22 |
(PhD Visit Day) |
|
March 29 |
Prio: Private, Robust, and Scalable Computation of Aggregate Statistics
Henry Corrigan-Gibbs and Dan Boneh
NSDI '17
|
Andrew Morgan |
April 5 |
(Spring Break) |
|
April 12 |
Opaque: An Oblivious and Encrypted Distributed Analytics Platform
Wenting Zheng, Ankur Dave, Jethro G. Beekman, Raluca Ada Popa, Joseph E. Gonzalez, and Ion Stoica
NSDI '17
|
Paul Grubbs |
April 19 |
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
Karthikeyan Bhargavan, Bruno Blanchet, and Nadim Kobeissi
Oakland '17
|
Isaac Sheff |
April 26 |
Enhancing Security and Privacy of Tor's Ecosystem by Using Trusted Execution Environments
Seongmin Kim, Juhyeng Han, Jaehyeong Ha, Taesoo Kim, and Dongsu Han
NSDI '17
|
Eleanor Birrell |
May 3 |
Counter-RAPTOR: Safeguarding Tor Against Active Routing Attacks
Yixin Sun, Anne Edmundson, Nick Feamster, Mung Chiang, and Prateek Mittal
Oakland '17
|
Phil Daian |
May 10 |
Verifying Constant-Time Implementations
Joséacelar Almeida, Manuel Barbosa, Gilles Barthe, Françs Dupressoir, and Michael Emmi
USENIX '16
|
Lorenz Breidenbach |