Matthew Boeding, Michael Hempel, Hamid Sharif. Vulnerability Identification of Operational Technology Protocol Specifications Through Formal Modeling. In Beata J. Wysocki, Tadeusz A. Wysocki, editors, 16th International Conference on Signal Processing and Communication System, ICSPCS 2023, Bydgoszcz, Poland, September 6-8, 2023. pages 1-6, IEEE, 2023. [doi]
Abstract is missing.