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