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
R. Trentinaglia, T. Koch, and E. Bodden, “Using Attack and Failure Propagation Analysis for Context-Aware Security Control Suggestions,” 2026, doi: 10.5220/0014278000004058.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61546
M. Miao, S. Kummita, E. Bodden, and S. Wei, “Program Feature-Based Benchmarking for Fuzz Testing,” Proceedings of the ACM on Software Engineering, vol. 2, no. ISSTA, pp. 527–549, 2025, doi: 10.1145/3728899.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 60583
J. Strüwer, R. Trentinaglia, B. Wohlers, E. Bodden, and R. Dumitrescu, “Assessing and Communicating Software Security: Enhancing Software Product Health with Architectural Threat Analysis,” in AHFE International, 2025, vol. 168, doi: 10.54941/ahfe1006145.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 63854
H. Eikerling and A. Kampkötter, “Enabling Android Application Monitoring by Characterizing Security-Critical Code Fragments,” 2025, doi: 10.1007/978-3-031-82362-6_25.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53958
O. Johnson, G. Piskachev, R. Krishnamurthy, and E. Bodden, “Detecting Security-Relevant Methods using Multi-label Machine Learning,” 2024, doi: 10.48550/ARXIV.2403.07501.
LibreCat
| DOI
2024 | Misc | LibreCat-ID: 59601
R. Trentinaglia, M. Fockel, M. Pukrop, and T. Schaeffer, 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
R. Trentinaglia, M. Fockel, M. Pukrop, and T. Schaeffer, “Automatically deriving test cases from safety-security dependencies,” 2024, doi: 10.13154/294-12716.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
F. B. Schiebel, F. Sattler, P. D. Schubert, S. Apel, and E. Bodden, “Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report,” in 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024, vol. 313, p. 36:1–36:28, doi: 10.4230/LIPIcs.ECOOP.2024.36.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 52587
E. Bodden, J. Pottebaum, M. Fockel, and I. Gräßler, “Evaluating Security Through Isolation and Defense in Depth,” IEEE Security & Privacy, vol. 22, no. 1, pp. 69–72, 2024, doi: 10.1109/msec.2023.3336028.
LibreCat
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 53811
S. Taaibi, S. Dziwok, L. Hermerschmidt, T. Koch, S. Merschjohann, and M. Vollmary, “Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report,” presented at the 30th Americas Conference on Information Systems, Salt Lake City.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 49439
G. Piskachev, M. Becker, and E. Bodden, “Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study,” Empirical Software Engineering, vol. 28, no. 5, Art. no. 118, 2023, doi: 10.1007/s10664-023-10354-3.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 54672
D. Schmelter, J.-P. Steghöfer, K. Albers, M. Ekman, J. Tessmer, and R. Weber, “Trustful Model-Based Information Exchange in Collaborative Engineering,” in Communications in Computer and Information Science, Cham: Springer Nature Switzerland, 2023.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 43395
R. Trentinaglia, S. Merschjohann, M. Fockel, and H. Eikerling, “Eliciting Security Requirements – An Experience Report,” 2023, doi: 10.1007/978-3-031-29786-1_25.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 41812
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, and E. Bodden, “Model Generation For Java Frameworks,” 2023.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29847
M. Fockel, D. Schubert, R. Trentinaglia, H. Schulz, and W. Kirmair, “Semi-automatic Integrated Safety and Security Analysis for Automotive Systems,” 2022, doi: 10.5220/0010778500003119.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29844
T. Koch, S. Trippel, S. Dziwok, and E. Bodden, “Integrating Security Protocols in Scenario-based Requirements Specifications,” 2022, doi: 10.5220/0010783300003119.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31071
J. Holtmann, J. Deantoni, and M. Fockel, “Early timing analysis based on scenario requirements and platform models,” Software and Systems Modeling, 2022, doi: 10.1007/s10270-022-01002-3.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33836
G. Piskachev, J. Späth, I. Budde, and E. Bodden, “Fluently specifying taint-flow queries with fluentTQL,” Empirical Software Engineering, vol. 27, no. 5, pp. 1–33, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 33838
R. Krishnamurthy, G. Piskachev, and E. Bodden, “To what extent can we analyze Kotlin programs using existing Java taint analysis tools?” 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 33837
G. Piskachev, S. Dziwok, T. Koch, S. Merschjohann, and E. Bodden, “How far are German companies in improving security through static program analysis tools?” 2022.
LibreCat