The workshop proceedings will be published after the workshop. Please find below all preprints of accepted papers and links to released research artifacts.
| Title | Preprint | Artifacts |
|---|---|---|
| Investigating Graph Embedding Neural Networks with Unsupervised Features Extraction for Binary Analysis | GitHub | |
| B2R2: Building an Efficient Front-End for Binary Analysis (BAR 2019 Best Paper Award) |
Source code (GitHub) Data (GitHub) |
|
| Rapidly Mitigating Vulnerabilities with Security Workarounds | GitLab | |
| A Cross-Architecture Instruction Embedding Model for Natural Language Processing-Inspired Binary Code Analysis | GitHub | |
| Binary Mutation Analysis of Tests Using Reassembleable Disassembly | GitHub | |
| CLIK on PLCs! Attacking Control Logic with Decompilation and Virtual PLC | GitLab | |
| Enhancing Symbolic Execution by Machine Learning Based Solver Selection | GitHub | |
| Symbolic Path Tracing to Find Android Permission-Use Triggers | Google Drive | |
| Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools | GitHub | |
| Performance, Correctness, Exceptions: Pick Three | rev.ng |
This version differs from the posted programme on the NDSS website: We moved Thomas Dullien's talk to the slot right after lunch and moved other sessions accordingly.
The workshop will be held on Sunday, February 24, 2019 in Toucan at Catamaran Resort Hotel and Spa, San Diego, CA.
| Time | Item |
|---|---|
| 8:00 am - 6:00 pm | Registration @ Kon Tiki Ballroom Foyer |
| 8:30 am - 9:30 am |
Brief Introduction and announcement of the Best Paper Award Ruoyu (Fish) Wang, Brendan Dolan-Gavitt, Antonio Bianchi Keynote: Beyond Reproducibility Dustin Fraze, Program Manager, DARPA I2O |
| 9:30 am - 10:10 am |
Presentation Session: Binary Translation Chair: Antonio Bianchi B2R2: Building an Efficient Front-End for Binary Analysis Minkyu Jung (KAIST), Soomin Kim (KAIST), HyungSeok Han (KAIST), Jaeseung Choi (KAIST), Sang Kil Cha (KAIST) Performance, Correctness, Exceptions: Pick Three Andrea Gussoni (Politecnico di Milano), Alessandro Di Federico (Politecnico di Milano), Pietro Fezzardi (Politecnico di Milano), Giovanni Agosta (Politecnico di Milano) |
| 10:10 am - 10:40 am | Coffee Break |
| 10:40 am - 12:20 pm |
Presentation Session: Binary Analysis and Security Chair: Antonio Bianchi CLIK on PLCs! Attacking Control Logic with Decompilation and Virtual PLC Sushma Kalle (University of New Orleans), Nehal Ameen (University of New Orleans),Hyunguk Yoo (University of New Orleans), Irfan Ahmed (Virginia Commonwealth University) Symbolic Path Tracing to Find Android Permission-Use Triggers Kristopher Micinski (Haverford College), Thomas Gilray (University of Alabama, Birmingham), Daniel Votipka (University of Maryland), Michelle L. Mazurek (University of Maryland), Jeffrey S. Foster (Tufts University) Rapidly Mitigating Vulnerabilities with Security Workarounds Zhen Huang (Pennsylvania State University), Gang Tan (Pennsylvania State University) Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools Aravind Machiry (UC Santa Barbara), Nilo Redini (UC Santa Barbara), Eric Gustafson (UC Santa Barbara), Hojjat Aghakhani (UC Santa Barbara), Christopher Kruegel (UC Santa Barbara), Giovanni Vigna (UC Santa Barbara) Binary Mutation Analysis of Tests Using Reassembleable Disassembly Navid Emamdoost (University of Minnesota), Vaibhav Sharma (University of Minnesota),Tae Joon Byun (University of Minnesota), Stephen McCamant (University of Minnesota) |
| 12:20 pm - 1:30 pm | Workshop Lunch @ Rousseau Center |
| 1:30 pm – 2:15 pm |
Panel Discussion Session 1 Moderator: Brendan Dolan-Gavitt Panel discussion 1 FunctionSimSearch: Fast Search for Statically Linked Library Functions Thomas Dullien (a.k.a. Halvar Flake), Ex-Google-Project-Zero, now optimyze.cloud |
| 2:20 pm – 2:50 pm |
Invited Talk: New Frontier of CTF - Bull’s Eye Ryo Ichikawa, Captain of CTF Team TokyoWesterns |
| 2:50 pm – 3:10 pm |
Presentation Session: Machine Learning and Binary Analysis 1 Chair: Brendan Dolan-Gavitt Investigating Graph Embedding Neural Networks with Unsupervised Features Extraction for Binary Analysis Luca Massarelli (Sapienza University of Rome), Giuseppe Antonio Di Luna (CINI - National Laboratory of Cybersecurity), Fabio Petroni (Independent Researcher), Leonardo Querzoni (Sapienza University of Rome), Roberto Baldoni (Italian Presidency of Ministry Council) |
| 3:10 pm - 3:30 pm | Coffee Break |
| 3:30 pm – 4:10 pm |
Presentation Session: Machine Learning and Binary Analysis 2 Chair: Brendan Dolan-Gavitt Enhancing Symbolic Execution by Machine Learning Based Solver Selection Sheng-Han Wen (National Taiwan University), Wei-Loon Mow (National Taiwan University), Wei-Ning Chen (National Taiwan University), Chien-Yuan Wang (National Taiwan University), Hsu-Chun Hsiao (National Taiwan University) A Cross-Architecture Instruction Embedding Model for Natural Language Processing-Inspired Binary Code Analysis Kimberly Redmond (University of South Carolina), Lannan Luo (University of South Carolina), Qiang Zeng (University of South Carolina) |
| 4:20 pm - 5:45 pm |
Panel Discussion Session 2 Moderator: Brendan Dolan-Gavitt Panel discussion 2 Analyzing the Security of Smart Automobile Applications Zoya Yeprem (University of Virginia) Panel discussion 3 Towards Parallel Binary Code Analysis Xiaozhu Meng (University of Wisconsin-Madison) |