posted by user: sadegh_rk || 1173 views || tracked by 1 users: [display]

FoDLICSS 2023 : 1st Workshop on Formal Methods-based Deep Learning for Industrial Control Systems Security

FacebookTwitterLinkedInGoogle

Link: https://www.web-hosting.guru/
 
When Jul 10, 2023 - Jul 10, 2023
Where Melbourne, Australia
Submission Deadline Feb 15, 2023
Notification Due Mar 31, 2023
Final Version Due Apr 24, 2023
Categories    formal methods   deep neural network   deep learning
 

Call For Papers

Overview:

This workshop is co-located with AsiaCCS 2023. It will explore the amalgamation of formal verification methods and deep neural networks for securing Industrial Control Systems (ICS). The recent rapid advances in deep neural network (DNN) technology has drawn in many ICS security designers and operators to adopt the technology for addressing ICS security issues. Although promising in other applications, incorporating DNN for ICS security is more challenging because of the DNN models’ limitations on explainability and predictability. Unseen input may cause the unexpected output of DNN models, which can induce severe consequences to the corresponding physical processes. While formal verification is a well-established field promising strong guarantees for safety, security, and reliability, and has been successfully applied to ICS security in the past, the approach is susceptible to scalability and cost issues. This workshop aims to further advance the intersection of formal methods and DNN and facilitate novel solutions that bring the two technologies together for solving complex problems in ICS security. We expect submissions to fall at the intersection of formal methods and DNN, and demonstrate the feasibility of the proposed research on ICS.

Topics of Interest:

Topics of interest include, but are not limited to:

Anomaly Detection for ICS using Formal Methods and DNN
Formal Verification of DNN models for ICS
Deep Learning-assisted Formal Verification of ICS
ICS forensics using DNN and Formal Verification
Risk Assessment of ICS based on Formal Verification and DNN
ICS Adversarial attacks and defenses of DNNs using Formal Verification
Formal Verification and DNN-based ICS software testing and fuzzing
Intrusion Detection and Firewalls of ICS based on Formal Analysis
ICS malware analysis using DNN and Formal Verification

Paper Submission:

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

short papers (6 pages including references) that present works in progress on the workshop topic,
discussion papers (2-4 pages including references) that present very new ideas or disruptive ideas in the workshop topic, which desire discussion.

Papers should follow the ACM AsiaCCS 2023's main conference formatting instructions (except with page limits as described above). In particular, we recommend using the sigconf template, which can be downloaded from the link https://www.acm.org/publications/proceedings-template.

Related Resources

NCWMC 2025   10th International Conference on Networks, Communications, Wireless and Mobile Computing
AMLDS 2025   IEEE--2025 International Conference on Advanced Machine Learning and Data Science
SOFT 2025   11th International Conference on Software Engineering
ICDM 2025   The 25th IEEE International Conference on Data Mining
CVAI 2026   2026 International Symposium on Computer Vision and Artificial Intelligence (CVAI 2026)
NLPA 2025   6th International Conference on Natural Language Processing and Applications
AAIML 2026   2026 International Conference on Advances in Artificial Intelligence and Machine Learning
IJCSITCE 2025   The International Journal of Computational Science, Information Technology and Control Engineering
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
FMAS 2025   7th International Workshop on Formal Methods for Autonomous Systems