Run-time control flow authentication: an assessment on contemporary x86 platforms.

Erdem Aktas Kanad Ghose

Published in: SAC (2013)

Keyphrases

control flow
data flow
software testing
process model
workflow management systems
user authentication
reactive systems
transition systems
artificial intelligence
formal semantics
business process models
database
information systems
case study
modeling language
event logs