MAY 22-24, 2017 AT THE FAIRMONT HOTEL, SAN JOSE, CA
38th IEEE Symposium on
Security and Privacy
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
Karthikeyan Bhargavan (INRIA), Bruno Blanchet (INRIA), and Nadim Kobeissi (INRIA)
Cloak and Dagger: From Two Permissions to Complete Control of the UI Feedback Loop
Yanick Fratantonio (UC Santa Barbara), Chenxiong Qian (Georgia Tech), Simon Chung (Georgia Tech), and Wenke Lee (Georgia Tech)
Towards Evaluating the Robustness of Neural Networks
Nicholas Carlini (University of California, Berkeley) and David Wagner (University of California, Berkeley)
Carmela Troncoso (IMDEA Software)
Jacob R. Lorch (Microsoft Research)
Brad Karp (University College London)
Battery Status Not Included: Assessing Privacy in Web Standards
Lukasz Olejnik (University College London), Steven Englehardt (Princeton University), and Arvind Narayanan (Princeton University)
Mobile Subscriber WiFi Privacy
Piers O'Hanlon (University of Oxford, United Kingdom), Ravishankar Borgaonkar (University of Oxford, United Kingdom), and Lucca Hirschi (LSV, ENS Paris-Saclay)