Walstan Baptista
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Research Interests
Walstan Baptista has a total of 4 co-authors. Here are the top co-authors by number of shared publications:
- Aniruddh Chandratre
School of Computing and Augmented Intelligence, Arizona State University, USA
1 shared publication - Georgios Fainekos
Toyota NA R&D, Ann Arbor, Michigan, USA
1 shared publication - Giulia Pedrielli
Arizona State University, Tempe, USA
1 shared publication - Tanmay Khandait
School of Computing and Augments Intelligence, Arizona State University, Tempe, Arizona, USA
1 shared publication
Latest Publications
- Open Access
- 9 May 2023
- Published by Association for Computing Machinery (ACM)
- p. 1-2
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator | Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
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).
- 9 May 2023
- Published by Association for Computing Machinery (ACM)
- p. 1-2
Open AccessDemo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator | Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
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).