ECFI: Asynchronous Control Flow Integrity for Programmable Logic Controllers.

Ali Abbasi Thorsten Holz Emmanuele Zambon Sandro Etalle

Published in: ACSAC (2017)

Keyphrases

control flow
programmable logic
data flow
software testing
process model
field programmable gate array
workflow management systems
transition systems
reinforcement learning
modeling language
formal semantics
business processes
memory hierarchy
machine learning
data access
object oriented
case study