3 papers
cs.CR2020
Control Flow Obfuscation for FJ using Continuation Passing
Kenny Zhuo Ming Lu
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 beh…
cs.FL2019
Solving of Regular Equations Revisited (extended version)
Martin Sulzmann, Kenny Zhuo Ming Lu
Solving of regular equations via Arden's Lemma is folklore knowledge. We first give a concise algorithmic specification of all elementary solving steps. We then discuss a computati…
cs.FL2016
Derivative-Based Diagnosis of Regular Expression Ambiguity
Martin Sulzmann, Kenny Zhuo Ming Lu
Regular expressions are often ambiguous. We present a novel method based on Brzozowski's derivatives to aid the user in diagnosing ambiguous regular expressions. We introduce a der…