共 50 条
- [1] Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), 2021, : 966 - 977
- [2] Security Verification of Industrial Control Systems using Partial Model Checking 2020 IEEE/ACM 8TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2020, : 98 - 108
- [3] Detecting Cybersecurity Threats for Industrial Control Systems Using Machine Learning IEEE ACCESS, 2024, 12 : 153550 - 153563
- [6] IFFSET: In-Field Fuzzing of Industrial Control Systems using System Emulation PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 662 - 665
- [7] Associative Thread Compaction for Efficient Control Flow Handling in GPGPUs 2020 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2020), 2020, : 228 - 233
- [10] Laguerre Network Implementation in Industrial Control Systems 2014 15TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE (ICCC), 2014, : 367 - 372