BAR Workshop Programme
Workshop on Binary Analysis Research
Sunday, February 18, 2018
BAR Workshop Proceedings Front Matter
| 8:00 am | Registration | |
| 8:30 am | Brief Introduction to the Workshop on Binary Analysis Research | Yan Shoshitaishvili and Ruoyu (Fish) Wang |
| Keynote | Brendan Dolan-Gavitt | |
| 9:20 am | Presentation Session: Software Testing A | Chair: Yan Shoshitaishvili |
| INSTRIM: Lightweight Instrumentation for Coverage-guided Fuzzing | Chin-Chia Hsu, Che-Yu Wu, Hsu-Chun Hsiao (National Taiwan University) and Shih-Kun Huang (National Chiao Tung University) | |
| Avatar²: A Multi-Target Orchestration Platform | Marius Muench, Dario Nisi, Aurélien Francillon and Davide Balzarotti (Eurecom) | |
| 10:00 am | Coffee Break | |
| 10:30 am | Presentation Session: Software Testing B | Chair: Ruoyu (Fish) Wang |
| DeepState: Symbolic Unit Testing for C and C++ | Peter Goodman (Trail of Bits) and Alex Groce (Northern Arizona University) | |
| Saluki: Finding Taint-style Vulnerabilities with Static Property Checking | Ivan Gotovchits, Rijnard Van Tonder and David Brumley (Carnegie Mellon University) | |
| 11:20 am | Coffee Break | |
| 11:35 am | Presentation Session: Misc | Chair: Yan Shoshitaishvili |
| The Effect of Instruction Padding on SFI Overhead | Navid Emamdoost and Stephen McCamant (University of Minnesota) | |
| PathMiner Powered Predictable Packet Processing | John Sonchack and Jonathan Smith (University of Pennsylvania) | |
| 12:20 pm | Lunch | |
| 1:30 pm | Presentation Session: Reverse Engineering | Chair: Ruoyu (Fish) Wang |
| Evolving Exact Decompilation | Eric Schulte, Jason Ruchti, Matt Noonan, David Ciarletta and Alexey Loginov (GrammaTech, Inc) | |
| Towards Generic Deobfuscation of Windows API Calls | Vadim Kotov and Michael Wojnowicz (Cylance Inc) | |
| 2:20 pm | Coffee Break | |
| 2:45 pm | Roundtable Discussion: On the Present and Near Future of Binary Analysis Tooling | Organizer: Yan Shoshitaishvili Technical Support: Ruoyu (Fish) Wang |
| 6:00 pm | Reception |