Alex Baird

According to our database, Alex Baird authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks.

Steph Wu, Nathan Allen, Alex Baird, Hammond Pearce, Partha S. Roop

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

2024

Scalable Security Enforcement for Cyber Physical Systems.

Alex Baird, Abhinandan Panda, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop

IEEE Access, 2024

2023

Incremental Security Enforcement for Cyber-Physical Systems.

Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop

IEEE Access, 2023

2022

Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones.

Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Runtime Verification for Clinically Interpretable Arrhythmia Classification.

Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022