Følg
Tomas Kulik
Tomas Kulik
Security and Formal Methods evangelist, Sweet Geeks
Verificeret mail på sweetgeeks.dk
Titel
Citeret af
Citeret af
År
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
322022
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
222018
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
122021
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
102019
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
82019
Towards formal verification of cyber security standards
K Tomas, LP Gorm
Труды Института системного программирования РАН 30 (4), 79-94, 2018
82018
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
62022
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
62021
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
62020
Migrating Overture to a different IDE
PWV Tran-Jørgensen, T Kulik
Proceedings of the 17th Overture Workshop, 32, 2019
52019
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
22020
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
22019
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
12022
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
12021
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–18