Login / Signup
Side-channel Elimination via Partial Control-flow Linearization.
Luigi Soares
Michael Canesche
Fernando Magno Quintão Pereira
Published in:
ACM Trans. Program. Lang. Syst. (2023)
Keyphrases
</>
control flow
data flow
process model
software testing
countermeasures
modeling language
business process models
workflow management systems
transition systems
reactive systems
artificial intelligence
mixed integer
smart card
error rate
software engineering
memory hierarchy
data sets