Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 13:40 - 14:00 at SPLASH-III - F-4B Chair(s): Aviral Goel, Ton Chanh Le
Sat 21 Nov 2020 01:40 - 02:00 at SPLASH-III - F-4B

We address the problem of reverse engineering of stripped executables, which contain no debug information.
This is a challenging problem because of the low amount of syntactic information available in stripped
executables, and the diverse assembly code patterns arising from compiler optimizations.
We present a novel approach for predicting procedure names in stripped executables. Our approach combines
static analysis with neural models. The main idea is to use static analysis to obtain augmented representations
of call sites; encode the structure of these call sites using the control-flow graph (CFG) and finally, generate a
target name while attending to these call sites. We use our representation to drive graph-based, LSTM-based
and Transformer-based architectures.
Our evaluation shows that our models produce predictions that are difficult and time consuming for humans,
while improving on existing methods by 28% and by 100% over state-of-the-art neural textual models that do
not use any static analysis. Code and data for this evaluation are available at https://github.com/tech-srl/Nero.

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: F-4BOOPSLA at SPLASH-III +12h
Chair(s): Aviral GoelNortheastern University, Ton Chanh LeStevens Institute of Technology
13:00 - 13:20
Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
Cyril SixKalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Sylvain BoulméGrenoble Alps University / CNRS / Grenoble INP / VERIMAG, David MonniauxGrenoble Alps University / CNRS / Grenoble INP / VERIMAG
Link to publication DOI Media Attached
13:20 - 13:40
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Christoph SprengerETH Zurich, Tobias KlenzeETH Zurich, Marco EilersETH Zurich, Felix A. WolfETH Zurich, Peter MüllerETH Zurich, Martin ClochardETH Zurich, David BasinETH Zurich
Link to publication DOI Media Attached
13:40 - 14:00
Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs
Yaniv DavidTechnion, Uri AlonTechnion, Eran YahavTechnion
Link to publication DOI Pre-print Media Attached
14:00 - 14:20
Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules
Fei HeTsinghua University, Jitao HanTsinghua University
Link to publication DOI Media Attached

Sat 21 Nov
Times are displayed in time zone: Central Time (US & Canada) change