Linköping University: Students Alumni Trade and Industry/Society Internal Search
rouma_RTSS2019

Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems

Rouhollah Mahfouzi
 
Amir Aminifar
Soheil Samii
 
Mathias Payer
Petru Eles Author homepage
 
Zebo Peng Author homepage

IEEE Real-Time Systems Symposium (RTSS 19)

ABSTRACT
Increasing internet connectivity poses an existential threat for cyber-physical systems. Securing these safety-critical systems becomes an important challenge. Cyber-physical systems often comprise several control applications that are implemented on shared platforms where both high and low criticality tasks execute together (to reduce cost). Such resource sharing may lead to complex timing behaviors and, in turn, counter-intuitive timing anomalies that can be exploited by adversaries to destabilize a critical control system, resulting in irreversible consequences. We introduce the butterfly attack, a new attack scenario against cyber-physical systems that carefully exploits the sensitivity of control applications with respect to the implementation on the underlying execution platforms. We illustrate the possibility of such attacks using two case-studies from the automotive and avionic domains.


[MASP19] Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Eles, Zebo Peng, "Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems", IEEE Real-Time Systems Symposium (RTSS 19)
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)