Latest Publications

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.

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

G. Piskachev, S. Dziwok, T. Koch, S. Merschjohann, E. Bodden, (2022). 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.

Softwareentwicklung wie am Fliessband

T. Koch, M. Meyer, M. Fazal-Baqaie, H. Runschke, in: M. Felderer, W. Hasselbring, R. Rabiser, R. Jung (Eds.), Software Engineering 2020 (SE 2020), Gesellschaft für Informatik e.V., 2020.

Show all publications