v1v2 (latest)

A Formal Approach to Cyber-Physical Attacks

4 November 2016

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

3 / 3 papers shown

Title
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions M. Rocchetto Nils Ole Tippenhauer AAML 56 35 0 09 Jul 2016
Cyber-Physical Systems Security: a Systematic Mapping Study Yu Lun A. D’innocenzo I. Malavolta M. D. Benedetto AI4CE 56 140 0 31 May 2016
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders Vivek Nigam C. Talcott Abraão Aires Urquiza 34 29 0 27 May 2016