Sign in
Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems.
Rouhollah Mahfouzi
Amir Aminifar
Soheil Samii
Mathias Payer
Petru Eles
Zebo Peng
Published in:
RTSS (2019)
Keyphrases
</>
temporal properties
cyber physical systems
cyber physical
model checking
physical world
cyber security
possibility theory
formal methods
multi agent
embedded systems
critical infrastructure
intrusion detection system
formal specification
real time
risk analysis
low cost
information systems