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.

161 Publications

2020 | Dissertation | LibreCat-ID: 20513
Krüger, S. (2020). CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn.
LibreCat | Download (ext.)

2020 | Conference Paper | LibreCat-ID: 20518
Koch, T., Dziwok, S., Holtmann, J., & Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM.
LibreCat | DOI

2020 | Journal Article | LibreCat-ID: 20507
Geismann, J., & Bodden, E. (2020). A systematic literature review of model-driven security engineering for cyber–physical systems. Journal of Systems and Software, 169, 110697.
LibreCat | DOI

2020 | Dissertation | LibreCat-ID: 20521
Gerking, C. (2020). Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University.
LibreCat | DOI

2020 | Conference Paper | LibreCat-ID: 20510
Benz, M., Krogh Kristensen, E., Luo, L., P. Borges Jr., N., Bodden, E., & Zeller, A. (2020). Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis. In International Conference for Software Engineering (ICSE).

2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do, L., & Bodden, E. (2020). Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering.
LibreCat | Download (ext.)

2020 | Book Chapter | LibreCat-ID: 20515
Gräßler, I., Bodden, E., Pottebaum, J., Geismann, J., & Roesmann, D. (2020). Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems. In Advances in Intelligent Systems and Computing. Cham.
LibreCat | DOI | Download (ext.)

2020 | Report | LibreCat-ID: 20712
Schubert, P., Bodden, E., & Hermann, B. (2020). Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.
LibreCat | Files available

2020 | Conference Paper | LibreCat-ID: 20509
Fischer, A., Janneck, J., Kussmaul, J., Krätzschmar, N., Kerschbaum, F., & Bodden, E. (2020). PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage. In 2020 IEEE Computer Security Foundations Symposium (CSF).
LibreCat | Download (ext.)

2020 | Conference Paper | LibreCat-ID: 20511
Fischer, A., Fuhry, B., Kerschbaum, F., & Bodden, E. (2020). Computation on Encrypted Data using Dataflow Authentication. In Privacy Enhancing Technologies Symposium (PETS/PoPETS).
LibreCat | Download (ext.)

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: APA

Export / Embed