Publications

Latest Publications

Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report

S. Taaibi, S. Dziwok, L. Hermerschmidt, T. Koch, S. Merschjohann, M. Vollmary, in: n.d.


Integrating Security Protocols in Scenario-based Requirements Specifications

T. Koch, S. Trippel, S. Dziwok, E. Bodden, in: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022.

DOI

How far are German companies in improving security through static program analysis tools?

G. Piskachev, S. Dziwok, T. Koch, S. Merschjohann, E. Bodden, (2022).


AppSecure.nrw Software Security Study

S. Dziwok, T. Koch, S. Merschjohann, B. Budweg, S. Leuer, ArXiv:2108.11752 (2021).


Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers

T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.

DOI

Show all publications