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).
LibreCat: /record/20510

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

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.
LibreCat: /record/20512

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

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 
LibreCat: /record/20518
DOI: 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 
LibreCat: /record/20521
DOI: 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.
LibreCat: /record/20712

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 
LibreCat: /record/20891
DOI: 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 
LibreCat: /record/23376
DOI: 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 
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

Holzinger, P. (2019). A Systematic Analysis and Hardening of the Java Security Architecture. Universität Paderborn.
LibreCat: /record/20522

Nguyen Quang Do, L. (2019). User-Centered Tool Design for Data-Flow Analysis. Universität Paderborn.
LibreCat: /record/20524

Stockmann, L., Laux, S., &; Bodden, E. (2019). Architectural Runtime Verification. 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 77–84.https://doi.org/10.1109/ICSA-C.2019.00021 
LibreCat: /record/20525
DOI: 10.1109/ICSA-C.2019.00021

Hazhirpasand, M., Ghafari, M., Krüger, S., Bodden, E., &; Nierstrasz, O. (2019). The Impact of Developer Experience in Using Java Cryptography. 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 1–6.https://doi.org/10.1109/ESEM.2019.8870184 
LibreCat: /record/20527
DOI: 10.1109/ESEM.2019.8870184

Piskachev, G., Petrasch, T., Späth, J., &; Bodden, E. (2019). AuthCheck: Program-state Analysis for Access-control Vulnerabilities. 10th Workshop on Tools for Automatic Program Analysis (TAPAS).
LibreCat: /record/20528

Nachtigall, M., Nguyen Quang Do, L., &; Bodden, E. (2019). Explaining Static Analysis -- A Perspective. 1st International Workshop on Explainable Software (EXPLAIN) at ASE.
LibreCat: /record/20529

Luo, L., Bodden, E., &; Späth, J. (2019). A Qualitative Analysis of Android Taint-Analysis Results. IEEE/ACM International Conference on Automated Software Engineering (ASE 2019).
LibreCat: /record/20531

Piskachev, G., Nguyen Quang Do, L., Johnson, O., &; Bodden, E. (2019). SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track.
LibreCat: /record/20532

Krüger, S., Späth, J., Ali, K., Bodden, E., &; Mezini, M. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering, 1–1.https://doi.org/10.1109/TSE.2019.2948910 
LibreCat: /record/20533
DOI: 10.1109/TSE.2019.2948910

Piskachev, G., Nguyen Quang Do, L., &; Bodden, E. (2019). Codebase-Adaptive Detection of Security-Relevant Methods. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
LibreCat: /record/20534