Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 12:00 - 12:30 at Sala X - Session 4 Chair(s): Roberto Giacobazzi

Control flow obfuscation protects software from being reverse-engineered by altering the control flow transfer without without changing the software's run-time semantics. We propose a new control flow obfuscation technique by rewriting the source program in the continuation passing style (CPS). The continuation is encoded through higher order combinators and function pointers at the target language level. As a result, the original control flow graph is fragmented which makes any software tampering attempt through binary static analysis hard. We implemented a prototype which performs obfuscation on C source codes. The benchmark shows that this approach is practical compared to existing techniques.

Tue 15 Jan

Displayed time zone: Belfast change

11:00 - 12:30
Session 4PEPM at Sala X
Chair(s): Roberto Giacobazzi University of Verona and IMDEA Software Institute
11:00
60m
Talk
Making Proofs Easy: Horn Clause Transformations to the Aid of Program Verification (Invited Talk)
PEPM
File Attached
12:00
30m
Talk
Control Flow Obfuscation via CPS Transformation
PEPM
Kenny Zhuo Ming Lu Nanyang Polytechnic, Singapore
DOI