About
The Industrial Systems Institute organized the ASM2S workshop, a dissemination event for the Automated Synthesis of Runtime Monitors for Safe and Secure Distributed Industrial Systems (ASM2S) project (https://asm2s.github.io). The workshop provided an opportunity to learn about the latest developments and challenges regarding cybersecurity in industrial systems and IoT. Researchers, engineers, and practitioners participated and engaged in discussions about the security, safety, and reliability aspects of distributed industrial systems and the ASM2S project's progress and its implications for these systems.
The ASM2S workshop took place on November 27, 2024, at Patras Science Park in Patras, Greece, and was held in a hybrid format.
Agenda
| Session 1: Cybersecurity challenges in industrial systems and IoT | ||
|---|---|---|
| Time | Presentation | Presenter |
| 10:00 - 10:30 | Hardware Trojans - Exploiting reliability | George Stamoulis (University of Thessaly, Greece) |
| 10:30 - 11:00 | Security in Internet Of Bio NanoThings (IoBNT): a Bottom-up Approach | Konstantinos Kantelis (Aristotle University of Thessaloniki, Greece) |
| 11:00 - 11:30 | Verification-based security analysis of software applications | Muhammad Taimoor Khan (University of Greenwich, UK) |
| 11:30 - 12:00 | Scheduling and allocation of monitoring tasks in a multiprocessor | Marilyn Wolf (University of Nebraska-Lincoln, USA) |
| 12:00 - 12:30 | Panel: Discussion | All |
| Session 2: Monitoring in cybersecurity: the ASM2S approach | ||
| Time | Presentation | Presenter |
| 14:00 - 14:30 | ASM2S Overview | Dimitrios Serpanos (ISI, CTI and University of Patras, Greece) |
| 14:30 - 15:00 | Attack models and planning | Howard Shrobe (MIT and DARPA, USA) |
| 15:00 - 15:30 | Run-time security monitoring for distributed industrial systems | George E. Raptis (ISI, Greece) |
| 15:30 - 16:00 | Detection of incipient faults and inconsistencies in distributed industrial systems under uncertainty | Ioannis Saramantas (University of Patras, Greece) |
| 16:00 - 17:00 | Case study: Applying ASM2S to water distribution system | George E. Raptis and Sabby Cohen (ISI and University of Patras, Greece) |
| 17:00 - 17:30 | Managing software risk in the new regulatory environment | Siva Rajagopalan (Resideo Technologies, USA) |
| 17:30 - 18:00 | Panel: Project status and future directions | All |
The times are local (Greece -EET) times (EST+7 hours, GMT+2 hours).
Connection details
During the ASM2S workshop, participants joined through its hybrid format, which allowed for both physical and online participation. Those attending in person at Patras Science Park engaged directly in discussions and networking, while online participants joined via Zoom, ensuring interactive sessions and inclusive collaboration.