A Framework for Threat-Driven Cyber Security Verification of IoT Systems. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar; Carl Schultz 001 (ICST Workshops, 2018)

Formal Security Analysis of Cloud-Connected Industrial Control Systems. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar (SecITC, 2018)

Compliance verification of a cyber security standard for Cloud-connected SCADA. - Tomas Kulik; Peter W. V. Tran-Jørgensen; Jalil Boudjadar (GIoTS, 2019)

Security analysis of cloud-connected industrial control systems using combinatorial testing. - Peter W. V. Tran-Jørgensen; Tomas Kulik; Jalil Boudjadar; Peter Gorm Larsen (MEMOCODE, 2019)

Towards Formally Verified Key Management for Industrial Control Systems. - Tomas Kulik; Jalil Boudjadar; Diego F. Aranha (FormaliSE@ICSE, 2020)

Security Verification of Industrial Control Systems using Partial Model Checking. - Tomas Kulik; Jalil Boudjadar; Peter W. V. Tran-Jørgensen (FormaliSE@ICSE, 2020)

Cardiac Arrhythmias Classification in Kardiovize Population Study. - Martin Pesl; Jakub Hejc; Tomas Kulik; Tomás Vicar; Petra Novotna; Marina Ronzhina; Juraj Jakubik; Pavel Leinveber; Juan Pablo Gonzalez Rivas; Zdenek Starek (CinC, 2021)

Formally Verified Credentials Management for Industrial Control Systems. - Tomas Kulik; Jalil Boudjadar; Diego F. Aranha (FormaliSE@ICSE, 2021)

Exercise-based Predictors of Late Recurrence of Atrial Fibrillation After Catheter Ablation. - Jakub Hejc; Richard Redina; Tomas Kulik; Martin Pesl; Zdenek Starek (CinC, 2022)

Formal Model In-The-Loop for Secure Industrial Control Networks. - Laurynas Ubys; Valeriu Nicolas Vancea; Tomas Kulik; Peter Gorm Larsen; Jalil Boudjadar; Diego F. Aranha (FACS, 2022)

Towards Secure Digital Twins. - Tomas Kulik; Cláudio Gomes 001; Hugo Daniel Macedo; Stefan Hallerstede; Peter Gorm Larsen (ISoLA (4), 2022)

A Survey of Practical Formal Methods for Security. - Tomas Kulik; Brijesh Dongol; Peter Gorm Larsen; Hugo Daniel Macedo; Steve Schneider; Peter W. V. Tran-Jørgensen; Jim Woodcock 001 (Formal Aspects Comput., 2022)

State of the Art Report: Verified Computation. - Jim Woodcock 001; Mikkel Schmidt Andersen; Diego F. Aranha; Stefan Hallerstede; Simon Thrane Hansen; Nikolaj Kuhne Jakobsen; Tomas Kulik; Peter Gorm Larsen; Hugo Daniel Macedo; Carlos Ignacio Isasa Martin; Victor Alexander Mtsimbe Norrild (CoRR, 2023)

Cilium and VDM - Towards Formal Analysis of Cilium Policies. - Tomas Kulik; Jalil Boudjadar (CoRR, 2024)