Stanford Security Seminar

• Wednesday, September 18, 2013, 4:30pm
  Ian Goldberg
  Ibis: An Overlay Mix Network for Microblogging
• Tuesday, September 10, 2013, 4:30pm
  Rachel Greenstadt
  Classify but Verify: Adversarial Stylometry and Machine Learning in an Open World
• Tuesday, August 13, 2013, 4:30pm
  Yvo Desmedt
  Functional Secret Sharing
• Friday, August 2, 2013, 4:30pm
  Gabi Nakibly
  Owning the Routing Table - Part II
• Tuesday, July 16, 2013, 4:15pm
  Yevgeniy Dodis
  Key Derivation Without Entropy Waste
• Monday, June 17, 2013, 4.15pm
  Simson Garfinkel
  Lessons Learned Writing High-Performance Multi-Threaded Digital Forensic Tools for Analyzing Hard Drives and Network Intercepts
• Thursday, June 6, 2013, 4.15pm
  Amit Sahai
  Best-Possible Obfuscation, Witness Encryption, and Functional Encryption for Circuits
• Wednesday, June 5, 2013, 4pm
  Antoine Joux
  Discrete logarithms in small characteristic finite fields: A L(1/4+o(1)) algorithm
• Thursday, May 23, 2013, 4.15pm
  Amir Houmansadr
  Towards Unobservable Censorship Circumvention
• Tuesday, May 21, 2013, 4:30pm
  Eli Ben-Sasson
  Universal and Affordable Computational Integrity, or, Succinctly, from C to PCP
• Thursday, May 16, 2013, 4.15pm
  Toby Murray
  How to Prove your Kernel Secure: putting the "s" into seL4 -- provably
• Tuesday, May 7, 2013, 4:30pm
  Arnab Roy
  Shorter Quasi-Adaptive NIZK Proofs for Linear Subspaces
• Monday, April 22, 2013, 4:30pm
  Gary McGraw
  Cyber War, Cyber Peace, Stones, and Glass Houses
• Monday, March 18, 2013, 4:30pm
  Marc Joye
  Software Protection against Fault Attacks
• Thursday, March 7, 4:00pm
  Patrick Traynor
  Chasing Telephony Security: Where the Wild Things... Are?
• Tuesday, March 5, 4:30pm
  Bobby Holley
  Gecko Script Security
• Monday, February 25, 2013, 3:45pm
  Vitaly Shmatikov
  A Scanner Darkly: Protecting User Privacy from Perceptual Applications
• Thursday, February 21, 2013, 4:30pm
  Florian Kerschbaum
  An Optimizing Compiler for Secure Computations
• Tuesday, February 12, 2013, 4:30pm
  Jay Lorch
  Ensuring Private Access to Large-Scale Data in the Data Center
• Tuesday, January 15, 2013, 4:30pm
  Alessandro Chiesa
  A New Construction of Publicly-Verifiable Non-Interactive Succinct Arguments
• Wednesday, December 12, 2012, 4:30pm
  Mike Walfish
  Making proof-based verified computation almost practical
• Tuesday, November 6, 2012, 4:30pm
  Jasper van Woudenberg
  From space rays to laser beams: Fault injection in practice
• Tuesday, October 23, 2012, 4:30pm
  Mark D. Ryan
  Privacy-supporting cloud computing by in-browser key translation

The seminar is currently coordinated by Joe Zimmerman (jzim at cs dot stanford).