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