This website has moved. Please see the updated version at www.cs.cornell.edu/secdg/

SecDG

Security and Privacy Discussion Group
Organizer: Ethan Cecchetti

Schedule (Spring 2017)

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
We also have a Google Calendar.