A survey of practical formal methods for security T Kulik, B Dongol, PG Larsen, HD Macedo, S Schneider, ... Formal aspects of computing 34 (1), 1-39, 2022 | 32 | 2022 |
A framework for threat-driven cyber security verification of iot systems T Kulik, PWV Tran-Jørgensen, J Boudjadar, C Schultz 2018 IEEE International Conference on Software Testing, Verification and …, 2018 | 23 | 2018 |
Modelling the HUBCAP sandbox architecture in VDM: A study in security T Kulik, HD Macedo, P Talasila, PG Larsen John Fitzgerald, Tomohiro Oda, and Hugo Daniel Macedo (Editors) 20, 2021 | 12 | 2021 |
Compliance verification of a cyber security standard for Cloud-connected SCADA T Kulik, PWV Tran-Jørgensen, J Boudjadar 2019 Global IoT Summit (GIoTS), 1-6, 2019 | 10 | 2019 |
Formal security analysis of cloud-connected industrial control systems T Kulik, PWV Tran-Jørgensen, J Boudjadar Innovative Security Solutions for Information Technology and Communications …, 2019 | 8 | 2019 |
Towards formal verification of cyber security standards K Tomas, LP Gorm Труды Института системного программирования РАН 30 (4), 79-94, 2018 | 8 | 2018 |
Towards secure digital twins T Kulik, C Gomes, HD Macedo, S Hallerstede, PG Larsen International Symposium on Leveraging Applications of Formal Methods, 159-176, 2022 | 6 | 2022 |
Extending the formal security analysis of the HUBCAP sandbox T Kulik, P Talasila, P Greco, G Veneziano, A Marguglio, LF Sutton, ... Proceedings of the 19th International Overture Workshop, 36, 2021 | 6 | 2021 |
Security verification of industrial control systems using partial model checking T Kulik, J Boudjadar, PWV Tran-Jørgensen Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 6 | 2020 |
Migrating Overture to a different IDE PWV Tran-Jørgensen, T Kulik Proceedings of the 17th Overture Workshop, 32, 2019 | 5 | 2019 |
Towards formally verified key management for industrial control systems T Kulik, J Boudjadar, DF Aranha Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 2 | 2020 |
Security analysis of cloud-connected industrial control systems using combinatorial testing PWV Tran-Jørgensen, T Kulik, J Boudjadar, PG Larsen Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019 | 2 | 2019 |
Formal Model In-The-Loop for Secure Industrial Control Networks L Ubys, V Nicolas Vancea, T Kulik, P Gorm Larsen, J Boudjadar, ... International Conference on Formal Aspects of Component Software, 74-89, 2022 | 1 | 2022 |
Formally Verified Credentials Management for Industrial Control Systems T Kulik, J Boudjadar, DF Aranha 2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021 | 1 | 2021 |
State of the Art Report: Verified Computation J Woodcock, MS Andersen, DF Aranha, S Hallerstede, ST Hansen, ... arXiv preprint arXiv:2308.15191, 2023 | | 2023 |
On cyber-physical cloud and discussing the right API architecture F Schaller, T Kulik, HD Macedo | | 2021 |
Formal Methods in Security Survey T Kulik, B Dongol, PG Larsen, HD Macedo, S Schneider, ... Formal Aspects of Computing, 2020 | | 2020 |
Provable cyber security for industrial control systems T Kulik Aarhus Universitet, 2020 | | 2020 |