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.https://doi.org/10.1016/j.jss.2020.110697 

Nguyen Quang Do, L., &; Bodden, E. (2020). Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering.

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. 2020 IEEE Computer Security Foundations Symposium (CSF).

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. International Conference for Software Engineering (ICSE).

Fischer, A., Fuhry, B., Kerschbaum, F., &; Bodden, E. (2020). Computation on Encrypted Data using Dataflow Authentication. Privacy Enhancing Technologies Symposium (PETS/PoPETS).

Krüger, S., Ali, K., &; Bodden, E. (2020). CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs. International Symposium on Code Generation and Optimization (CGO), 185–198.

Krüger, S. (2020). CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn.

Koch, T., Dziwok, S., Holtmann, J., &; Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).https://doi.org/10.1145/3365438.3410946 

Gerking, C. (2020). Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University.https://doi.org/10.17619/UNIPB/1-1033 

Schubert, P., Bodden, E., &; Hermann, B. (2020). Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.

Knüppel, A., Krüger, S., Thüm, T., Bubel, R., Krieter, S., Bodden, E., &; Schaefer, I. (2020). Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In Lecture Notes in Computer Science.https://doi.org/10.1007/978-3-030-64354-6_5 

Piskachev, G., Nguyen Quang Do, L., Johnson, O., &; Bodden, E. (2020). SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).https://doi.org/10.1109/ase.2019.00110 

Piskachev, G., Petrasch, T., Späth, J., &; Bodden, E. (2020). AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In Lecture Notes in Computer Science.https://doi.org/10.1007/978-3-030-54997-8_34