Program
8:00am - 9:20am Registration and Refreshment
9:20am - 9:30am Welcome Message
9:30am - 10:30am Session I
- ProIDS: A Segmentation and Segregation-based Process-level IDS for Securing Critical Infrastructures
- Authors: Vikas Maurya, Sandeep K. Shukla (Indian Institute of Technology Kanpur)
-
Paper Type: Invited Presentation
- Furina: A Light-weight WebAssembly Runtime for ICS
- Authors: Hanwen Lei, Ding Li, Yao Guo (Peking University)
-
Paper Type: Regular Paper
- Design and Detection of Covert Man-in-the-Middle Cyberattacks on Water Treatment Plants
- Authors: Victor Mattos, João Henrique Schmidt, Amit Bhaya (UFRJ); Alan Oliveira de Sá (LASIGE, Faculdade de Ciencias, Universidade de Lisboa); Daniel Sadoc Menasché (UFRJ); Gaurav S. (Siemens)
- Paper Type: Regular Paper
10:30am - 11:00am Coffee Break
11:00am - 12:00pm Session II
- A Survey for MQTT Fuzzing
- Authors: Samin Y. Chowdhury, Ruimin Sun (Florida International University); Brandon Dudley (Dragos Inc.)
-
Paper Type: Regular Paper
- Attacking Learning-based Models in Smart Grids: Current Challenges and New Frontiers
- Authors: Gustavo Sánchez, Ghada Elbez, Veit Hagenmeyer (Karlsruhe Institute of Technology)
-
Paper Type: Invited Presentation
- Automated Synthesis of Verified Neural Network Controllers from Linear Temporal Logic Specifications
- Authors: Austin O’Quinn (Ohio State University); Max Taylor (Boise State University)
- Paper Type: Regular Paper