Program
| Time | Item | Speaker(s) | Title / Activity |
|---|---|---|---|
| 09:00 - 10:30 | Session 1 | ||
| 09:00 - 09:05 | Welcome | Organizers | |
| 09:05 - 09:50 | Invited talk | Stanley Bak | Falsifying CPS using AI/ML |
| 09:50 - 10:10 | Himanshu Neema and Akhilesh Raj | Towards Human-AI Teaming for Cybersecurity | |
| 10:10 - 10:30 | Harsh Vardhan, Daniel Balasubhramanium and Sandeep Neema | NUCLEUS: An Open-Source Nuclear Power Plant Simulator for ICS Cybersecurity Research | |
| 10:30 - 11:00 | Coffee Break | ||
| 10:30 - 11:00 | Session 2 | ||
| 11:00 - 11:50 | Invited talk | Alberto Speranzon | On the Design of Autonomous Systems: Opportunities and Challenges in the OODA Loop |
| 11:50 - 12:10 | Armin Pirastehzad and Bart Besselink | Vertical Contracts for Safety Control | |
| 12:10 - 12:30 | Félicien Ndozi, Federico Russo, Tommaso Polonelli and Michele Magno | Enhanced Human Pose Estimation for Augmented Reality in Static Automotive Interiors with Minimal IMU Setup | |
| 12:30 - 14:00 | Lunch Break | ||
| 14:00 - 16:00 | Session 3 | ||
| 14:00 - 15:00 | Invited talk | Giulia Pedrielli | Thinking about the box: analysis, design, control of structure-rich systems |
| 15:00 - 15:20 | Srikanth Narayanan, Buket Alkan, Nagendra Nagar, Yogesh Barve, Scott Eisele, Harmon Nine and Himanshu Neema | Intelligent Vulnerability Mitigation Decision Support System for Hospitals | |
| 15:20 - 15:40 | Nagendra Nagar, Buket Alkan, Srikanth Narayanan, Scott Eisele, Yogesh Barve and Himanshu Neema | Vulnerability Remediations Scheduling in Realistic Hospital Settings | |
| 15:40 - 16:00 | Buket Alkan, Scott Eisele, Nagendra Nagar, Yogesh Barve and Himanshu Neema | Modeling Medical Device Workflows for Impact Assessment of Vulnerability Remediations | |
| 16:00 - 16:30 | Coffee Break | ||
| 16:30 - 18:00 | Session 4 | ||
| 16:30 - 17:20 | Invited talk | Ezio Bartocci | Signal Feature Coverage and Testing for CPS Dataflow Models |
| 17:20 - 17:30 | Discussion / Closing remarks | ||