Login / Signup
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version).
Matteo Busi
Pierpaolo Degano
Letterio Galletta
Published in:
CoRR (2020)
Keyphrases
</>
control flow
data flow
process model
software testing
business process models
transition systems
data sets
learning algorithm
software development
modeling language
workflow management systems
databases
data structure
test set
model checking
reactive systems