Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Mon 18 Jan 2021 13:30 - 14:00 at PEPM - Session 3 Chair(s): Robert Atkey

Control flow obfuscation deters software reverse engineering attempts by altering the program’s control flow transfer. The alternation should not affect the software’s run-time behaviour. In this paper, we propose a control flow obfuscation approach for Featherweight Java with exception handling. The approach is based on a source to source transformation using continuation passing style (CPS). We argue that the proposed CPS transformation causes malicious attacks using context insensitive static analysis and context sensitive analysis with fixed call string to lose precision.

Short paper (paper11.pdf)494KiB

Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 14:30
Session 3PEPM at PEPM
Chair(s): Robert AtkeyUniversity of Strathclyde

Live stream: https://www.youtube.com/watch?v=G5vngBBn398

13:30
30m
Short-paper
Control Flow Obfuscation for Featherweight Java using Continuation Passing
PEPM
Kenny Zhuo Ming LuISTD, Singapore University of Technology and Design
Media Attached File Attached
14:00
30m
Research paper
Efficient Fair Conjunction for Structurally-Recursive Relations
PEPM
Petr LozovSain Petersburg State University, SPbGU, Dmitri BoulytchevSaint Petersburg State University / JetBrains Research
Media Attached File Attached