Blogs (61) >>
Thu 19 Jul 2018 17:52 - 18:30 at Paris - SALAD 3 Chair(s): Jan Vitek

Compile-time specialization and feature pruning through static binary rewriting have been proposed repeatedly as techniques for reducing the attack surface of large programs, and for minimizing the trusted computing base. We propose a new approach to attack surface reduction: dynamic binary lifting and recompilation.

We present BinRec, a binary recompilation framework that lifts binaries to a compiler-level intermediate representation (IR) to allow complex transformations on the captured code. After transformation, BinRec lowers the IR back to a “recovered” binary, which is semantically equivalent to the input binary, but does have its unnecessary features removed. Unlike existing approaches, which are mostly based on static analysis and rewriting, our framework analyzes and lifts binaries dynamically. The crucial advantage is that we can not only observe the full program including all of its dependencies, but we can also determine which program features the end-user actually uses. We evaluate the correctness and performance of BinRec, and show that our approach enables aggressive pruning of unwanted features in COTS binaries.

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:30: SALAD - SALAD 3 at Paris
Chair(s): Jan VitekNortheastern University
salad-2018-papers16:00 - 16:37
Mansour Alharthi, Hong HuGeorgia Institute of Technology, Hyungon MoonGeorgia Tech, Taesoo KimGeorgia Tech
salad-2018-papers16:37 - 17:15
Julian DolbyIBM Thomas J. Watson Research Center
salad-2018-papers17:15 - 17:52
Omer TrippGoogle Inc.
salad-2018-papers17:52 - 18:30
Taddeus KroesVrije Universiteit Amsterdam, Anil Altinay, Joseph Nash, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Herbert Bos, Michael FranzUniversity of California, Irvine, Cristiano Giuffrida