Geismann, Johannes, and Eric 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 169 (2020): 110697.https://doi.org/10.1016/j.jss.2020.110697 .
LibreCat: /record/20507
DOI: https://doi.org/10.1016/j.jss.2020.110697

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

Fischer, Andreas, Jonas Janneck, Jörn Kussmaul, Nikolas Krätzschmar, Florian Kerschbaum, and Eric Bodden. “PASAPTO: Policy-Aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage.” In 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
LibreCat: /record/20509

Benz, Manuel, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges Jr., Eric Bodden, and Andreas Zeller. “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis.” In International Conference for Software Engineering (ICSE), 2020.
LibreCat: /record/20510

Fischer, Andreas, Benny Fuhry, Florian Kerschbaum, and Eric Bodden. “Computation on Encrypted Data Using Dataflow Authentication.” In Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat: /record/20511

Krüger, Stefan, Karim Ali, and Eric Bodden. “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.” In International Symposium on Code Generation and Optimization (CGO), 185–98, 2020.
LibreCat: /record/20512

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

Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.”https://doi.org/10.1145/3365438.3410946__In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM, 2020.https://doi.org/10.1145/3365438.3410946 .
LibreCat: /record/20518
DOI: 10.1145/3365438.3410946

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

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

Knüppel, Alexander, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, and Ina Schaefer. “Using Abstract Contracts for Verifying Evolving Features and Their Interactions.”https://doi.org/10.1007/978-3-030-64354-6_5__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-64354-6_5 .
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

Piskachev, Goran, Lisa Nguyen Quang Do, Oshando Johnson, and Eric Bodden. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.”https://doi.org/10.1109/ase.2019.00110__In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.https://doi.org/10.1109/ase.2019.00110 .
LibreCat: /record/23376
DOI: 10.1109/ase.2019.00110

Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.”https://doi.org/10.1007/978-3-030-54997-8_34__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-54997-8_34 .
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34