| 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 | 53 | 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 | 24 | 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 | 11 | 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 | 9 | 2019 |
| 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 | 8 | 2022 |
| Towards formal verification of cyber security standards K Tomas, LP Gorm Труды Института системного программирования РАН 30 (4), 79-94, 2018 | 8 | 2018 |
| 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 |
| 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 | 5 | 2021 |
| Migrating Overture to a different IDE PWV Tran-Jørgensen, T Kulik Proceedings of the 17th Overture Workshop, 32, 2019 | 5 | 2019 |
| 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 | 3 | 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 | 2 | 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 | 2 | 2021 |
| 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 |
| State of the art report: verified computation J Woodcock, MS Andersen, DF Aranha, S Hallerstede, ST Hansen, ... arXiv preprint arXiv:2308.15191, 2023 | 1 | 2023 |
| Cilium and VDM--Towards Formal Analysis of Cilium Policies T Kulik, J Boudjadar arXiv preprint arXiv:2410.12009, 2024 | | 2024 |
| Security and Privacy-related Issues in a Digital Twin Context T Kulik, Z Kazemi, PG Larsen The Engineering of Digital Twins, 313-344, 2024 | | 2024 |
| 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 |
Peter Gorm LarsenAarhus University在 ece.au.dk 的电子邮件经过验证