Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
66 Publications
2026 | Conference Paper | LibreCat-ID: 65261
Trentinaglia R, Koch T, Bodden E. Using Attack and Failure Propagation Analysis for Context-Aware Security Control Suggestions. In: Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications; 2026. doi:10.5220/0014278000004058
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61546
Miao M, Kummita S, Bodden E, Wei S. Program Feature-Based Benchmarking for Fuzz Testing. Proceedings of the ACM on Software Engineering. 2025;2(ISSTA):527-549. doi:10.1145/3728899
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 60583
Strüwer J, Trentinaglia R, Wohlers B, Bodden E, Dumitrescu R. Assessing and Communicating Software Security: Enhancing Software Product Health with Architectural Threat Analysis. In: AHFE International. Vol 168. AHFE International; 2025. doi:10.54941/ahfe1006145
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 63854
Eikerling H, Kampkötter A. Enabling Android Application Monitoring by Characterizing Security-Critical Code Fragments. In: Lecture Notes in Computer Science. Springer Nature Switzerland; 2025. doi:10.1007/978-3-031-82362-6_25
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53958
Johnson O, Piskachev G, Krishnamurthy R, Bodden E. Detecting Security-Relevant Methods using Multi-label Machine Learning. In: Proceedings of the 46th International Conference on Software Engineering, IDE Workshop. ; 2024. doi:10.48550/ARXIV.2403.07501
LibreCat
| DOI
2024 | Misc | LibreCat-ID: 59601
Trentinaglia R, Fockel M, Pukrop M, Schaeffer T. Whitepaper: From HARA and TARA to Risk-Based Safety and Security Dependency Testing. dSPACE GmbH; 2024.
LibreCat
| Files available
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 57578
Trentinaglia R, Fockel M, Pukrop M, Schaeffer T. Automatically deriving test cases from safety-security dependencies. In: 22th Escar Europe : The World’s Leading Automotive Cyber Security Conference : Embedded Security in Cars (Dortmund, 19. - 20.11.2024). ; 2024. doi:10.13154/294-12716
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
Schiebel FB, Sattler F, Schubert PD, Apel S, Bodden E. Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. In: Aldrich J, Salvaneschi G, eds. 38th European Conference on Object-Oriented Programming (ECOOP 2024). Vol 313. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2024:36:1–36:28. doi:10.4230/LIPIcs.ECOOP.2024.36
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 52587
Bodden E, Pottebaum J, Fockel M, Gräßler I. Evaluating Security Through Isolation and Defense in Depth. IEEE Security & Privacy. 2024;22(1):69-72. doi:10.1109/msec.2023.3336028
LibreCat
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 53811
Taaibi S, Dziwok S, Hermerschmidt L, Koch T, Merschjohann S, Vollmary M. Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report. In: AMCIS 2024 Proceedings. 13.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 49439
Piskachev G, Becker M, Bodden E. Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study. Empirical Software Engineering. 2023;28(5). doi:10.1007/s10664-023-10354-3
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 54672
Schmelter D, Steghöfer J-P, Albers K, Ekman M, Tessmer J, Weber R. Trustful Model-Based Information Exchange in Collaborative Engineering. In: Communications in Computer and Information Science. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-42307-9_12
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia R, Merschjohann S, Fockel M, Eikerling H. Eliciting Security Requirements – An Experience Report. In: REFSQ 2023: Requirements Engineering: Foundation for Software Quality. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-29786-1_25
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 41812
Luo L, Piskachev G, Krishnamurthy R, Dolby J, Schäf M, Bodden E. Model Generation For Java Frameworks. In: IEEE International Conference on Software Testing, Verification and Validation (ICST). ; 2023.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29847
Fockel M, Schubert D, Trentinaglia R, Schulz H, Kirmair W. Semi-automatic Integrated Safety and Security Analysis for Automotive Systems. In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications; 2022. doi:10.5220/0010778500003119
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29844
Koch T, Trippel S, Dziwok S, Bodden E. Integrating Security Protocols in Scenario-based Requirements Specifications. In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications; 2022. doi:10.5220/0010783300003119
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31071
Holtmann J, Deantoni J, Fockel M. Early timing analysis based on scenario requirements and platform models. Software and Systems Modeling. Published online 2022. doi:10.1007/s10270-022-01002-3
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33836
Piskachev G, Späth J, Budde I, Bodden E. Fluently specifying taint-flow queries with fluentTQL. Empirical Software Engineering. 2022;27(5):1–33.
LibreCat
2022 | Conference Paper | LibreCat-ID: 33838
Krishnamurthy R, Piskachev G, Bodden E. To what extent can we analyze Kotlin programs using existing Java taint analysis tools? Published online 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 33837
Piskachev G, Dziwok S, Koch T, Merschjohann S, Bodden E. How far are German companies in improving security through static program analysis tools? Published online 2022.
LibreCat