Media Summary: Shiqi Wang Columbia University Abstract: Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world ... Russell W. F. Lai Friedrich-Alexander University Erlangen-Nuremberg Abstract: Passwords and access control remain the popular ... James Mickens, Harvard University Q: Why Do Keynote Speakers Keep Suggesting That Improving
Usenix Security 18 Formal Security - Detailed Analysis & Overview
Shiqi Wang Columbia University Abstract: Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world ... Russell W. F. Lai Friedrich-Alexander University Erlangen-Nuremberg Abstract: Passwords and access control remain the popular ... James Mickens, Harvard University Q: Why Do Keynote Speakers Keep Suggesting That Improving Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Yazhou Tu University of Louisiana at ... Nirvan Tyagi Cornell University Abstract: Dissidents, journalists, and others require technical means to protect their privacy in the ... Mauro Tempesta Università Ca' Foscari Venezia Abstract: We present WPSE, a browser-side
Dongliang Mu The Pennsylvania State University Abstract: Today's software systems are increasingly relying on the “power of the ... Tom Chothia Univ. of Birmingham Abstract: We present an extension of the applied pi-calculus that can be used to model distance ... The Broken Shield: Measuring Revocation Effectiveness in the Windows Code-Signing PKI Doowon Kim University of Maryland, ... With Great Training Comes Great Vulnerability: Practical Attacks against Transfer Learning Bolun Wang UC Santa Barbara ... An Empirical Study of Web Resource Manipulation in Real-world Mobile Applications Xiaohan Zhang Fudan University Abstract: ...
