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

11:00 - 12:30: PEPM 2019 - Session 4 at Sala X
Chair(s): Roberto GiacobazziUniversity of Verona and IMDEA Software Institute
pepm-2019-papers11:00 - 12:00
File Attached
pepm-2019-papers12:00 - 12:30
Kenny Zhuo Ming LuNanyang Polytechnic, Singapore