| 2017 | "How Long is a Piece of String": : Defining Key Phases andObserved Challenges within ICS Risk Assessment. | Benjamin Green, Daniel Prince, Jerry S. Busby, David Hutchison |
| 2017 | On the Significance of Process Comprehension for Conducting Targeted ICS Attacks. | Benjamin Green, Marina Krotofil, Ali Abbasi |
| 2017 | Cloud Storage File Recoverability. | Christian A. Gorke, Christian Janson, Frederik Armknecht, Carlos Cid |
| 2017 | Vertx: Automated Validation of Binary Transformations. | Denis Gopan, Peter Ohmann, David Melski |
| 2017 | May the Fourth Be With You: A Microarchitectural Side Channel Attack on Several Real-World Applications of Curve25519. | Daniel Genkin, Luke Valenta, Yuval Yarom |
| 2017 | Quantifying the Pressure of Legal Risks on Third-party Vulnerability Research. | Alexander Gamero-Garrido, Stefan Savage, Kirill Levchenko, Alex C. Snoeren |
| 2017 | Detection of Information Leaks via Reflection in Android Apps. | Jyoti Gajrani, Li Li, Vijay Laxmi, Meenakshi Tripathi, Manoj Singh Gaur, Mauro Conti |
| 2017 | A Secure Algorithm for Outsourcing Matrix Multiplication Computation in the Cloud. | Shaojing Fu, Yunpeng Yu, Ming Xu |
| 2017 | POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification. | Lucas Freire, Miguel C. Neves, Alberto E. Schaeffer Filho, Marinho P. Barcellos |
| 2017 | JITGuard: Hardening Just-in-time Compilers with SGX. | Tommaso Frassetto, David Gens, Christopher Liebchen, Ahmad-Reza Sadeghi |
| 2017 | IRON: Functional Encryption using Intel SGX. | Ben Fisch, Dhinakaran Vinayagamurthy, Dan Boneh, Sergey Gorbunov |
| 2017 | Verifying Security Policies in Multi-agent Workflows with Loops. | Bernd Finkbeiner, Christian Mller, Helmut Seidl, Eugen Zalinescu |
| 2017 | Computer Security and Privacy for the Physical World. | Earlence Fernandes |
| 2017 | Distributed Measurement with Private Set-Union Cardinality. | Ellis Fenske, Akshaya Mani, Aaron Johnson, Micah Sherr |
| 2017 | Extracting Conditional Formulas for Cross-Platform Bug Search. | Qian Feng, Minghua Wang, Mu Zhang, Rundong Zhou, Andrew Henderson, Heng Yin |
| 2017 | SECRET: On the Feasibility of a Secure, Efficient, and Collaborative Real-Time Web Editor. | Dennis Felsch, Christian Mainka, Vladislav Mladenov, Jrg Schwenk |
| 2017 | From System Specification to Anomaly Detection (and back). | Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta |
| 2017 | Automatic Deployment of Specification-based Intrusion Detection in the BACnet Protocol. | Herson Esquivel-Vargas, Marco Caselli, Andreas Peter |
| 2017 | Side-Channel Attacks on BLISS Lattice-Based Signatures: Exploiting Branch Tracing against strongSwan and Electromagnetic Emanations in Microcontrollers. | Thomas Espitau, Pierre-Alain Fouque, Benot Grard, Mehdi Tibouchi |
| 2017 | Data-driven Software Security and its Hardware Support. | lfar Erlingsson |
| 2017 | An NSF View of Multimedia Privacy and Security: Extended Abstract. | Jeremy Epstein |
| 2017 | Mis-operation Resistant Searchable Homomorphic Encryption. | Keita Emura, Takuya Hayashi, Noboru Kunihiro, Jun Sakuma |
| 2017 | Group Signatures with Time-bound Keys Revisited: A New Model and an Efficient Construction. | Keita Emura, Takuya Hayashi, Ai Ishida |
| 2017 | Strict Virtual Call Integrity Checking for C++ Binaries. | Mohamed Elsabagh, Dan Fleck, Angelos Stavrou |
| 2017 | Evaluating Behavioral Biometrics for Continuous Authentication: Challenges and Metrics. | Simon Eberz, Kasper Bonne Rasmussen, Vincent Lenders, Ivan Martinovic |