| 2019 | MemGuard: Defending against Black-Box Membership Inference Attacks via Adversarial Examples. | Jinyuan Jia, Ahmed Salem, Michael Backes, Yang Zhang, Neil Zhenqiang Gong |
| 2019 | Updatable Oblivious Key Management for Storage Systems. | Stanislaw Jarecki, Hugo Krawczyk, Jason K. Resch |
| 2019 | Kerberoid: A Practical Android App Decompilation System with Multiple Decompilers. | Heejun Jang, Beomjin Jin, Sangwon Hyun, Hyoungshick Kim |
| 2019 | AppMine: Behavioral Analytics for Web Application Vulnerability Detection. | Indranil Jana, Alina Oprea |
| 2019 | Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. | Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse |
| 2019 | Specification-driven Moving Target Defense Synthesis. | Md. Mazharul Islam, Qi Duan, Ehab Al-Shaer |
| 2019 | Proper Usage of the Group Signature Scheme in ISO/IEC 20008-2. | Ai Ishida, Yusuke Sakai, Keita Emura, Goichiro Hanaoka, Keisuke Tanaka |
| 2019 | Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing. | Muhammad Ishaq, Ana L. Milanova, Vassilis Zikas |
| 2019 | Design Procedure of Knowledge Base for Practical Attack Graph Generation. | Masaki Inokuchi, Yoshinobu Ohta, Shunichi Kinoshita, Tomohiko Yagyu, Orly Stan, Ron Bitton, Yuval Elovici, Asaf Shabtai |
| 2019 | Waves of Malice: A Longitudinal Measurement of the Malicious File Delivery Ecosystem on the Web. | Colin C. Ife, Yun Shen, Steven J. Murdoch, Gianluca Stringhini |
| 2019 | 5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol. | Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, Elisa Bertino |
| 2019 | Characterizing Adversarial Subspaces by Mutual Information. | Chia-Yi Hsu, Pin-Yu Chen, Chia-Mu Yu |
| 2019 | Are These Pairing Elements Correct?: Automated Verification and Applications. | Susan Hohenberger, Satyanarayana Vusirikala |
| 2019 | The Leaky Actuator: A Provably-covert Channel in Cyber Physical Systems. | Amir Herzberg, Yehonatan Kfir |
| 2019 | On the Difficulty of Hiding the Balance of Lightning Network Channels. | Jordi Herrera-Joancomart, Guillermo Navarro-Arribas, Alejandro Ranchal-Pedrosa, Cristina Prez-Sol, Joaqun Garca-Alfaro |
| 2019 | MERCAT: A Metric for the Evaluation and Reconsideration of Certificate Authority Trustworthiness. | Michael P. Heinl, Alexander Giehl, Norbert Wiedermann, Sven Plaga, Frank Kargl |
| 2019 | Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters. | Sean Heelan, Tom Melham, Daniel Kroening |
| 2019 | Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. | Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev |
| 2019 | LevioSA: Lightweight Secure Arithmetic Computation. | Carmit Hazay, Yuval Ishai, Antonio Marcedone, Muthuramakrishnan Venkitasubramaniam |
| 2019 | Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing Attacks. | Monowar Hasan, Sibin Mohan |
| 2019 | Balance: Dynamic Adjustment of Cryptocurrency Deposits. | Dominik Harz, Lewis Gudgeon, Arthur Gervais, William J. Knottenbelt |
| 2019 | Poster: Proofs of Retrievability with Low Server Storage. | Michael Hanling, Gaspard Anthoine, Jean-Guillaume Dumas, Aude Maignan, Clment Pernet, Daniel S. Roche |
| 2019 | Nickel to Lego: Using Foolgle</> to Create Adversarial Examples to Fool Google Cloud Speech-to-Text API. | Joon Kuy Han, Hyoungshick Kim, Simon S. Woo |
| 2019 | User Account Access Graphs. | Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin |
| 2019 | Verified Verifiers for Verifying Elections. | Thomas Haines, Rajeev Gor, Mukesh Tiwari |