Control Flow Obfuscation for FJ using Continuation Passing.

Kenny Zhuo Ming Lu

Published in: CoRR (2020)

Keyphrases

control flow
data flow
process model
software testing
workflow management systems
transition systems
modeling language
reactive systems
database
database systems
software engineering
formal semantics
workflow processes