Control-flow Flattening Preserves the Constant-Time Policy.

Matteo Busi Pierpaolo Degano Letterio Galletta

Published in: ITASEC (2020)

Keyphrases

control flow
data flow
software testing
process model
optimal policy
workflow management systems
transition systems
modeling language
databases
information systems
decision making
multi agent systems
business process models