IEEE Computer Security Foundations Symposium, CSF 2017


Article Details
Title: A Formal Approach to Cyber-Physical Attacks
Article URLs:
Alternative Article URLs:
Authors: Ruggero Lanotte
  • Università dell’Insubria, Dipartimento di Scienza e Alta Tecnologia
Massimo Merro
  • Università degli Studi di Verona, Dipartimento di Informatica
Riccardo Muradore
  • Università degli Studi di Verona, Dipartimento di Informatica
Luca Viganò
  • King’s College London, Department of Informatics
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/csfw/LanotteMMV17
Author Comments:

Discuss this paper and its artifacts below