J. Geismann and E. Bodden, “A systematic literature review of model-driven security engineering for cyber–physical systems,”https://doi.org/10.1016/j.jss.2020.110697__Journal of Systems and Software, vol. 169, p. 110697, 2020, doi:https://doi.org/10.1016/j.jss.2020.110697 .
LibreCat: /record/20507
DOI: https://doi.org/10.1016/j.jss.2020.110697

L. Nguyen Quang Do and E. Bodden, “Explaining Static Analysis with Rule Graphs,” IEEE Transactions on Software Engineering, 2020.
LibreCat: /record/20508

A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, and E. Bodden, “PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage,” 2020.
LibreCat: /record/20509

M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, and A. Zeller, “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis,” 2020.
LibreCat: /record/20510

A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Dataflow Authentication,” 2020.
LibreCat: /record/20511

S. Krüger, K. Ali, and E. Bodden, “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs,” in International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat: /record/20512

S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn, 2020.
LibreCat: /record/20513

T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,”10.1145/3365438.3410946__2020, doi:10.1145/3365438.3410946 .
LibreCat: /record/20518
DOI: 10.1145/3365438.3410946

C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University, 2020.
LibreCat: /record/20521
DOI: 10.17619/UNIPB/1-1033

P. Schubert, E. Bodden, and B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020.
LibreCat: /record/20712

A. Knüppel et al., “Using Abstract Contracts for Verifying Evolving Features and Their Interactions,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods,”10.1109/ase.2019.00110__2020, doi:10.1109/ase.2019.00110 .
LibreCat: /record/23376
DOI: 10.1109/ase.2019.00110

G. Piskachev, T. Petrasch, J. Späth, and E. Bodden, “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34