Short Talks
Tuesday, 22 May 2012
4:30-5:30pm
SecuritySpeak: Oakland Papers Crammed Into 32 Pictures
Hilarie Orman
Metric-driven Fuzzing Strategy for Network Protocols
Vivek Jain, Faraz Qadri, Aniket Malatpure
Differential Privacy by Typing for Security Protocols
Fabienne Eigner and Matteo Maffei (Saarland University)
Privacy, Linearity, and Accountability in Proof-Carrying Authorization Systems
Matteo Maffei and Kim Pecina
Fighting Parasite Hosting: Identifying and
Mitigating Unauthorized Ads on Your Webserver
Shuang Hao, Adam Arrowood, Xinyu Xing, Nick Feamster
Learning from Our Mistakes: Us LUSSRs Are In Such a MESS
Carrie Gates, Matt Bishop, and Greg Shannon
Provably Secure and Practical Onion Routing
Michael Backes, Ian Goldberg, Aniket Kate, and Esfandiar Mohammadi
Long Tail Cyber Education
Scott Tousley
Why Johnny's not Robust
W. Michael Petullo and Jon A. Solworth
TARDIS: Secure Time Keeping For Embedded DevicesWithout Clocks
Amir Rahmati, Mastooreh Salajegheh, Dan Holcomb, Jacob Sorber, Wayne P. Burleson, Kevin Fu
Protecting Query Privacy in Cloud Database Hosting
Ryan Riley, Ahmet Erhan Nergiz, Chris Clifton, Qutaibah Marwan Malluhi