ControlFreak: Signature Chaining to Counter Control Flow Attacks.

Sergei Arnautov Christof Fetzer

Published in: SRDS (2015)

Keyphrases

control flow
java card
data flow
process model
countermeasures
software testing
workflow management systems
signature verification
signature scheme
transition systems
modeling language
watermarking algorithm
reactive systems
business process models