CSAIL Event Calendar
CSAIL Security Seminar 2012/2013Prof. Greg Morrisett, Harvard U. RockSalt: Better, Faster, Stronger Software Fault Isolation for the x86 Date: Monday, September 17 2012 Time: 4:00PM to 5:30PM Location: 32-G575 Contact: Raluca Ada Popa, 3-6098, ralucap@mit.edu Chris Fletcher, MIT Techniques for performing secure computation on encrypted data Date: Monday, October 1 2012 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: Stata, G575 Contact: Raluca Ada Popa, raluca@csail.mit.edu Amir Rahmati, UMass Amherst TARDIS: Time and Remanence Decay in SRAM to Implement Secure Protocols on Embedded Devices without Clocks Date: Monday, October 22 2012 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: Stata, G575 Contact: Raluca Ada Popa, ralucap@mit.edu Dr. Ari Juels, RSA Labs Breaks in the Cloud Date: Monday, November 5 2012 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: 32-G575 Contact: Raluca Ada Popa, raluca@csail.mit.edu Prof. Mike Walfish, UT Austin Making proof-based verified computation almost practical Date: Monday, November 19 2012 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: Stata Center: D463 (Star) Contact: Raluca Ada Popa, raluca@csail.mit.edu Eunsuk Kang, MIT Automating End User Security Tasks Date: Monday, November 26 2012 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: 32-G575 Contact: Raluca Ada Popa, 3-6098, ralucap@mit.edu Nadia Heninger, Microsoft Research, New England Mining Your Ps and Qs: Detection of Widespread Weak Keys in Network Devices Date: Monday, December 3 2012 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: Stata, G575 Contact: Raluca Ada Popa, ralucap@mit.edu Chris Eng, Veracode Binary Static Analysis - industry talk Date: Monday, December 10 2012 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: G575 Contact: Raluca Ada Popa, raluca@csail.mit.edu Haohui Mai, University of Illinois at Urbana-Champaign Building a Secure Foundation for Mobile Apps Date: Monday, January 21 2013 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: Stata, G575 Contact: Raluca Ada Popa, raluca@csail.mit.edu Haohui Mai, University of Illinois at Urbana-Champaign Building a Secure Foundation for Mobile Apps Date: Monday, February 11 2013 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: Stata, G575 Contact: Raluca Ada Popa, 6175993360, ralucap@mit.edu Justin Thaler, Harvard University Time-Optimal Interactive Proofs for Circuit Evaluation Date: Wednesday, March 13 2013 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: G575 Contact: Raluca Ada Popa, raluca@csail.mit.edu Simha Sethumadhavan, Columbia University Measuring Side Channel Vulnerability using SVF Date: Tuesday, March 19 2013 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: G575 Contact: Raluca Ada Popa, raluca@csail.mit.edu Sanjit A. Seshia, UC Berkeley Verification with Small and Short Worlds Date: Wednesday, April 3 2013 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: Stata, G575 Contact: Raluca Ada Popa, raluca@csail.mit.edu Gavin Andresen, Chief Scientist, Bitcoin Foundation Bitcoin's Security, Inside and Out Date: Wednesday, May 1 2013 Time: 4:00PM to 5:00PM Refreshments: 4:00PM Location: Stata, G882 Contact: Raluca Ada Popa, raluca@csail.mit.edu Dr Robert N. M. Watson, University of Cambridge A Decade of OS Access-Control Extensibility Date: Wednesday, May 22 2013 Time: 4:30PM to 5:30PM Location: 32-G882 (Reading room) Contact: Nickolai Zeldovich, 650-996-4201, nickolai@csail.mit.edu  
|