| 2017 | Functional Encryption with Oblivious Helper. | Pierre-Alain Dupont, David Pointcheval |
| 2017 | Identifying Open-Source License Violation and 1-day Security Risk at Large Scale. | Ruian Duan, Ashish Bijlani, Meng Xu, Taesoo Kim, Wenke Lee |
| 2017 | DeepLog: Anomaly Detection and Diagnosis from System Logs through Deep Learning. | Min Du, Feifei Li, Guineng Zheng, Vivek Srikumar |
| 2017 | Combining Homomorphic Encryption with Trusted Execution Environment: A Demonstration with Paillier Encryption and SGX. | Nir Drucker, Shay Gueron |
| 2017 | TinyOLE: Efficient Actively Secure Two-Party Computation from Oblivious Linear Function Evaluation. | Nico Dttling, Satrajit Ghosh, Jesper Buus Nielsen, Tobias Nilges, Roberto Trifiletti |
| 2017 | Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing. | Changyu Dong, Yilei Wang, Amjad Aldweesh, Patrick McCorry, Aad van Moorsel |
| 2017 | Scaling ORAM for Secure Computation. | Jack Doerner, Abhi Shelat |
| 2017 | Secure Wallet-Assisted Offline Bitcoin Payments with Double-Spender Revocation. | Alexandra Dmitrienko, David Noack, Moti Yung |
| 2017 | POSTER: Rust SGX SDK: Towards Memory Safety in Intel SGX Enclave. | Yu Ding, Ran Duan, Long Li, Yueqiang Cheng, Yulong Zhang, Tanghui Chen, Tao Wei, Huibo Wang |
| 2017 | Secure Hardware and Cryptography: Contrasts, Synergies and Challenges. | Srinivas Devadas |
| 2017 | Keep me Updated: An Empirical Study of Third-Party Library Updatability on Android. | Erik Derr, Sven Bugiel, Sascha Fahl, Yasemin Acar, Michael Backes |
| 2017 | Toward Usable Network Traffic Policies for IoT Devices in Consumer Networks. | Nicholas DeMarinis, Rodrigo Fonseca |
| 2017 | Secure Integration of Web Content and Applications on Commodity Mobile Operating Systems. | Drew Davidson, Yaohui Chen, Franklin George, Long Lu, Somesh Jha |
| 2017 | Cyber Threat Analysis Framework for the Wind Energy Based Power System. | Amarjit Datta, Mohammad Ashiqur Rahman |
| 2017 | Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. | Anupam Datta, Matthew Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen |
| 2017 | Proofs of Data Residency: Checking whether Your Cloud Files Have Been Relocated. | Hung Dang, Erick Purwanto, Ee-Chien Chang |
| 2017 | Evading Classifiers by Morphing in the Dark. | Hung Dang, Yue Huang, Ee-Chien Chang |
| 2017 | POSTER: A Comprehensive Study of Forged Certificates in the Wild. | Mingxin Cui, Zigang Cao, Gang Xiong, Junzheng Shi |
| 2017 | Boolean Circuit Camouflage: Cryptographic Models, Limitations, Provable Results and a Random Oracle Realization. | Giovanni Di Crescenzo, Jeyavijayan Rajendran, Ramesh Karri, Nasir D. Memon |
| 2017 | Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server. | Giovanni Di Crescenzo, Matluba Khodjaeva, Delaram Kahrobaei, Vladimir Shpilrain |
| 2017 | A Comprehensive Symbolic Analysis of TLS 1.3. | Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla van der Merwe |
| 2017 | A Type System for Privacy Properties. | Vronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei |
| 2017 | DIFUZE: Interface Aware Fuzzing for Kernel Drivers. | Jake Corina, Aravind Machiry, Christopher Salls, Yan Shoshitaishvili, Shuang Hao, Christopher Kruegel, Giovanni Vigna |
| 2017 | Performance Modeling of Moving Target Defenses. | Warren Connell, Daniel A. Menasc, Massimiliano Albanese |
| 2017 | Don't Skype & Type!: Acoustic Eavesdropping in Voice-Over-IP. | Alberto Compagno, Mauro Conti, Daniele Lain, Gene Tsudik |