Aarhus University Seal / Aarhus Universitets segl

Tomas Kulik

  1. 2021
  2. Published

    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. ed. / John Fitzgerald; Tomohiro Oda; Hugo Daniel Macedo. 2021. p. 20-35.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  3. Accepted/In press

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

    FormaliSE@ICSE. 2021.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  4. 2020
  5. Published

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

    2020. 119-129 Paper presented at 8th International Conference on Formal Methods in Software Engineering, Seoul, Korea, Republic of.

    Research output: Contribution to conferencePaperResearchpeer-review

  6. Submitted

    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.

    In: Formal Aspects of Computing, 04.07.2020.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  7. Published

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

    Aarhus Universitet, 2020. 221 p.

    Research output: Book/anthology/dissertation/reportPh.D. thesis

  8. Published

    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. p. 98-108.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  9. 2019
  10. Published

    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. p. 1-11 13.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  11. Published

    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. ed. / J. L. Lanet; C. Toma. Vol. 11359 Springer, 2019. p. 71-84 (Lecture Notes in Computer Science, Vol. 11359).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  12. Published

    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.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  13. Published

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

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

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  14. 2018
  15. Published

    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. p. 89-97.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  16. Published

    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. ed. / Alexander S. Kamkin; Alexander K. Petrenko; Andrey N. Terekhov. Rossijskaja akademija nauk / Russian Academy of Sciences, 2018. p. 20-25.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  17. Published

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

    In: Proceedings of the Institute for System Programming, Vol. 30, No. 4, 2018, p. 79-94.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review