A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)

12 February 2019

Papers citing "A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)"

2 / 2 papers shown

Title
Test and Evaluation Framework for Multi-Agent Systems of Autonomous Intelligent Agents Erin Lanus Iván Hernández Adam Dachowicz Laura J. Freeman Melanie L. Grande Andrew B. Lang Jitesh H. Panchal Anthony Patrick Scott Welch 11 8 0 25 Jan 2021
Explainable Security Luca Vigano Daniele Magazzeni SILM 13 71 0 11 Jul 2018