Aarhus University Seal / Aarhus Universitets segl

Tomas Kulik

  1. 2021
  2. Udgivet

    Modelling the HUBCAP Sandbox Architecture In VDM: A Study In Security. / Kulik, Tomas; Macedo, Hugo Daniel; Talasila, Prasad; Larsen, Peter Gorm.

    Proceedings of the 18th International Overture Workshop. red. / John Fitzgerald; Tomohiro Oda; Hugo Daniel Macedo. 2021. s. 20-35.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  3. Accepteret/In press

    Formally Verified Credentials Management for Industrial Control Systems. / Kulik, Tomas; Boudjadar, Jalil; Aranha, Diego F.

    FormaliSE@ICSE. 2021.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  4. 2020
  5. Udgivet

    Towards Formally Verified Key Management for Industrial Control Systems. / Kulik, Tomas; Boudjadar, Jalil; Aranha, Diego F.

    2020. 119-129 Paper præsenteret ved 8th International Conference on Formal Methods in Software Engineering, Seoul, Sydkorea.

    Publikation: KonferencebidragPaperForskningpeer review

  6. Afsendt

    Formal Methods in Security Survey. / Kulik, Tomas; Dongol, Brijesh; Larsen, Peter Gorm; Macedo, Hugo Daniel; Schneider, Steve; Tran-Jørgensen, Peter Würtz Vinther; Woodcock, Jim.

    I: Formal Aspects of Computing, 04.07.2020.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  7. Udgivet

    Provable Cyber-Security for Industrial Control Systems. / Kulik, Tomas.

    Aarhus Universitet, 2020. 221 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

  8. Udgivet

    Security Verification of Industrial Control Systems using Partial Model Checking. / Kulik, Tomas; Boudjadar, Jalil; Tran-Jørgensen, Peter Würtz Vinther.

    FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering. New York : Association for Computing Machinery, 2020. s. 98-108.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  9. 2019
  10. Udgivet

    Security analysis of cloud-connected industrial control systems using combinatorial testing. / Tran-Jørgensen, Peter Würtz Vinther; Kulik, Tomas; Boudjadar, Jalil; Larsen, Peter Gorm.

    MEMOCODE '19: : Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. New York : Association for Computing Machinery, 2019. s. 1-11 13.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  11. Udgivet

    Formal Security Analysis of Cloud-Connected Industrial Control Systems. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil.

    Innovative Security Solutions for Information Technology and Communications: SECITC 2018 - International Conference on Security for Information Technology and Communications. red. / J. L. Lanet; C. Toma. Bind 11359 Springer, 2019. s. 71-84 (Lecture Notes in Computer Science, Bind 11359).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  12. Udgivet

    Compliance verification of a cyber security standard for Cloud-connected SCADA. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil.

    2019 Global IoT Summit (GIoTS) . IEEE, 2019.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  13. Udgivet

    Migrating Overture to a different IDE. / Tran-Jørgensen, Peter Würtz Vinther; Kulik, Tomas.

    Proceedings of the 17th Overture Workshop. red. / Carl Gamble; Luis Diogo Couto. Newcastle University, 2019. s. 32-47 (Technical Report Series; Nr. CS-TR- 1530 - 2019).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  14. 2018
  15. Udgivet

    A Framework for Threat-Driven Cyber Security Verification of IoT Systems. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil; Schultz, Carl Peter Leslie.

    2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings. IEEE, 2018. s. 89-97.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  16. Udgivet

    Towards Formal Verification of Cyber Security Standards. / Kulik, Tomas; Larsen, Peter Gorm.

    SYRCoSE 2018: Preliminary Proceedings of the 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering. red. / Alexander S. Kamkin; Alexander K. Petrenko; Andrey N. Terekhov. Rossijskaja akademija nauk / Russian Academy of Sciences, 2018. s. 20-25.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  17. Udgivet

    Towards Formal Verification of Cyber Security Standards. / Kulik, Tomas; Larsen, Peter Gorm.

    I: Proceedings of the Institute for System Programming, Bind 30, Nr. 4, 2018, s. 79-94.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review