@inproceedings{21b0b2da5f084bbc99c8b6938b9ba8cb,
title = "Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator",
abstract = "In the paper titled {"} Stealthy attacks formalized as STL formulas for Falsification of CPS Security{"}, we investigate a broad class of attacks on the sensor and actuation blocks in the form of additive perturbation that impacts the measurement and control, respectively. In this demo, we demonstrate the usage of our framework and the underlying technologies along with a case study on aviation systems using Microsoft Flight Simulator (MSFS).",
keywords = "CPS Security, Falsification, Signal Temporal Logic, Test Generation",
author = "Tanmay Khandait and Aniruddh Chandratre and Walstan Baptista and Giulia Pedrielli and Georgios Fainekos",
note = "Publisher Copyright: {\textcopyright} 2023 Copyright held by the owner/author(s).; 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, Part of CPS-IoT Week 2023 ; Conference date: 10-05-2023 Through 12-05-2023",
year = "2023",
month = may,
day = "9",
doi = "10.1145/3575870.3589550",
language = "English (US)",
series = "HSCC 2023 - Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Part of CPS-IoT Week",
publisher = "Association for Computing Machinery, Inc",
booktitle = "HSCC 2023 - Proceedings of the 26th ACM International Conference on Hybrid Systems",
}