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.

62 Publications


2024 | Journal Article | LibreCat-ID: 52587
Bodden, E., Pottebaum, J., Fockel, M., & Gräßler, I. (2024). Evaluating Security Through Isolation and Defense in Depth. IEEE Security & Privacy, 22(1), 69–72. https://doi.org/10.1109/msec.2023.3336028
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 53958
Johnson, O., Piskachev, G., Krishnamurthy, R., & Bodden, E. (2024). Detecting Security-Relevant Methods using Multi-label Machine Learning. Proceedings of the 46th International Conference on Software Engineering, IDE Workshop. https://doi.org/10.48550/ARXIV.2403.07501
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 53811
Taaibi, S., Dziwok, S., Hermerschmidt, L., Koch, T., Merschjohann, S., & Vollmary, M. (n.d.). Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report. 30th Americas Conference on Information Systems, Salt Lake City.
LibreCat | Files available
 

2024 | Conference Paper | LibreCat-ID: 56863
Schiebel, F., Sattler, F., Schubert, P. D., Apel, S., & Bodden, E. (2024). Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. In J. Aldrich & G. Salvaneschi (Eds.), 38th European Conference on Object-Oriented Programming (ECOOP 2024) (Vol. 313, p. 36:1–36:28). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2024.36
LibreCat | DOI
 

2024 | Misc | LibreCat-ID: 59601
Trentinaglia, R., Fockel, M., Pukrop, M., & Schaeffer, T. (2024). Whitepaper: From HARA and TARA to Risk-Based Safety and Security Dependency Testing. dSPACE GmbH.
LibreCat | Files available | Download (ext.)
 

2024 | Conference Paper | LibreCat-ID: 57578
Trentinaglia, R., Fockel, M., Pukrop, M., & Schaeffer, T. (2024). Automatically deriving test cases from safety-security dependencies. 22th Escar Europe : The World’s Leading Automotive Cyber Security Conference : Embedded Security in Cars (Dortmund, 19. - 20.11.2024). https://doi.org/10.13154/294-12716
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 49439
Piskachev, G., Becker, M., & Bodden, E. (2023). Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study. Empirical Software Engineering, 28(5), Article 118. https://doi.org/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. (2023). Trustful Model-Based Information Exchange in Collaborative Engineering. In Communications in Computer and Information Science. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-42307-9_12
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia, R., Merschjohann, S., Fockel, M., & Eikerling, H. (2023). Eliciting Security Requirements – An Experience Report. REFSQ 2023: Requirements Engineering: Foundation for Software Quality. https://doi.org/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. (2023). Model Generation For Java Frameworks. IEEE International Conference on Software Testing, Verification and Validation (ICST).
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 29847
Fockel, M., Schubert, D., Trentinaglia, R., Schulz, H., & Kirmair, W. (2022). Semi-automatic Integrated Safety and Security Analysis for Automotive Systems. Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. https://doi.org/10.5220/0010778500003119
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 29844
Koch, T., Trippel, S., Dziwok, S., & Bodden, E. (2022). Integrating Security Protocols in Scenario-based Requirements Specifications. Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. https://doi.org/10.5220/0010783300003119
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31071
Holtmann, J., Deantoni, J., & Fockel, M. (2022). Early timing analysis based on scenario requirements and platform models. Software and Systems Modeling. https://doi.org/10.1007/s10270-022-01002-3
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33836
Piskachev, G., Späth, J., Budde, I., & Bodden, E. (2022). Fluently specifying taint-flow queries with fluentTQL. Empirical Software Engineering, 27(5), 1–33.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 33838
Krishnamurthy, R., Piskachev, G., & Bodden, E. (2022). To what extent can we analyze Kotlin programs using existing Java taint analysis tools?
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 33837
Piskachev, G., Dziwok, S., Koch, T., Merschjohann, S., & Bodden, E. (2022). How far are German companies in improving security through static program analysis tools?
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 34298
Trentinaglia, R. (2022). Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns. Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. https://doi.org/10.1145/3550356.3558508
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 21326
Holtmann, J., Steghöfer, J.-P., Rath, M., & Schmelter, D. (2021). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract). In A. Koziolek, I. Schaefer, & C. Seidl (Eds.), Software Engineering 2021 (Vol. P-310, pp. 59–60). Remote / Braunschweig, Germany . https://doi.org/10.18420/SE2021_18
LibreCat | Files available | DOI
 

2021 | Journal Article | LibreCat-ID: 23526 | OA
Schubert, D., Eikerling, H., & Holtmann, J. (2021). Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML. Frontiers in Computer Science, 3. https://doi.org/10.3389/fcomp.2021.567873
LibreCat | DOI | Download (ext.)
 

2021 | Preprint | LibreCat-ID: 23534
Dziwok, S., Koch, T., Merschjohann, S., Budweg, B., & Leuer, S. (2021). AppSecure.nrw Software Security Study. ArXiv:2108.11752.
LibreCat
 

Filters and Search Terms

department=662

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed