A Formal Approach to Cyber-Physical Attacks

v1v2 (latest)

A Formal Approach to Cyber-Physical Attacks

4 November 2016

ArXiv (abs)PDF HTML

Papers citing "A Formal Approach to Cyber-Physical Attacks"

9 / 9 papers shown

Title
Relational Analysis of Sensor Attacks on Cyber-Physical Systems Jian Xiang Nathan Fulton Stephen Chong AAML 8 6 0 03 Jun 2021
Active Fuzzing for Testing and Securing Cyber-Physical Systems Yuqi Chen Bohan Xuan Christopher M. Poskitt Jun Sun Fan Zhang 55 25 0 28 May 2020
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences Yuqi Chen Christopher M. Poskitt Jun Sun Sridhar Adepu Fan Zhang 46 55 0 12 Sep 2019
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version) R. Lanotte Massimo Merro A. Munteanu Luca Vigano 72 42 0 12 Feb 2019
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems Denise Ratasich Faiq Khalid Florian Geissler Radu Grosu Mohamed Bennai E. Bartocci 80 102 0 16 Oct 2018
Privacy, Security and Trust in the Internet of Neurons Diego Sempreboni Luca Vigano 47 9 0 11 Jul 2018
Explainable Security Luca Vigano Daniele Magazzeni SILM 68 74 0 11 Jul 2018
Towards a formal notion of impact metric for cyber-physical attacks (full version) R. Lanotte Massimo Merro S. Tini 76 20 0 27 Jun 2018
Cyber-Physical Systems Security: a Systematic Mapping Study Yu Lun A. D’innocenzo I. Malavolta M. D. Benedetto AI4CE 76 140 0 31 May 2016