@inproceedingsSchubert_Hermann_Bodden_Leer_2021, title=Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++, booktitle=SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), author=Schubert, Philipp and Hermann, Ben and Bodden, Eric and Leer, Richard, year=2021 
LibreCat: /record/26406

@inproceedingsSchubert_Sattler_Schiebel_Hermann_Bodden_2021, title=Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++, booktitle=2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), author=Schubert, Philipp and Sattler, Florian and Schiebel, Fabian and Hermann, Ben and Bodden, Eric, year=2021 
LibreCat: /record/26405

@articleGeismann_Bodden_2020, title=A systematic literature review of model-driven security engineering for cyber–physical systems, volume=169, DOI=https://doi.org/10.1016/j.jss.2020.110697, journal=Journal of Systems and Software, author=Geismann, Johannes and Bodden, Eric, year=2020, pages=110697 
LibreCat: /record/20507
DOI: https://doi.org/10.1016/j.jss.2020.110697

@articleNguyen Quang Do_Bodden_2020, title=Explaining Static Analysis with Rule Graphs, journal=IEEE Transactions on Software Engineering, author=Nguyen Quang Do, Lisa and Bodden, Eric, year=2020 
LibreCat: /record/20508

@inproceedingsFischer_Janneck_Kussmaul_Krätzschmar_Kerschbaum_Bodden_2020, title=PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage, booktitle=2020 IEEE Computer Security Foundations Symposium (CSF), author=Fischer, Andreas and Janneck, Jonas and Kussmaul, Jörn and Krätzschmar, Nikolas and Kerschbaum, Florian and Bodden, Eric, year=2020 
LibreCat: /record/20509

@inproceedingsBenz_Krogh Kristensen_Luo_P. Borges Jr._Bodden_Zeller_2020, title=Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis, booktitle=International Conference for Software Engineering (ICSE), author=Benz, Manuel and Krogh Kristensen, Erik and Luo, Linghui and P. Borges Jr., Nataniel and Bodden, Eric and Zeller, Andreas, year=2020 
LibreCat: /record/20510

@inproceedingsFischer_Fuhry_Kerschbaum_Bodden_2020, title=Computation on Encrypted Data using Dataflow Authentication, booktitle=Privacy Enhancing Technologies Symposium (PETS/PoPETS), author=Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden, Eric, year=2020 
LibreCat: /record/20511

@inproceedingsKrüger_Ali_Bodden_2020, title=CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs, booktitle=International Symposium on Code Generation and Optimization (CGO), author=Krüger, Stefan and Ali, Karim and Bodden, Eric, year=2020, pages=185–198 
LibreCat: /record/20512

@bookKrüger_2020, title=CogniCrypt -- The Secure Integration of Cryptographic Software, publisher=Universitaetsbibliothek Paderborn, author=Krüger, Stefan, year=2020 
LibreCat: /record/20513

@inproceedingsKoch_Dziwok_Holtmann_Bodden_2020, title=Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers, DOI=10.1145/3365438.3410946, booktitle=ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), publisher=ACM, author=Koch, Thorsten and Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric, year=2020 
LibreCat: /record/20518
DOI: 10.1145/3365438.3410946

@bookGerking_2020, title=Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, DOI=10.17619/UNIPB/1-1033, publisher=Paderborn University, author=Gerking, Christopher, year=2020 
LibreCat: /record/20521
DOI: 10.17619/UNIPB/1-1033

@bookSchubert_Bodden_Hermann_2020, title=Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, author=Schubert, Philipp and Bodden, Eric and Hermann, Ben, year=2020 
LibreCat: /record/20712

@inbookKnüppel_Krüger_Thüm_Bubel_Krieter_Bodden_Schaefer_2020, place=Cham, title=Using Abstract Contracts for Verifying Evolving Features and Their Interactions, DOI=10.1007/978-3-030-64354-6_5, booktitle=Lecture Notes in Computer Science, author=Knüppel, Alexander and Krüger, Stefan and Thüm, Thomas and Bubel, Richard and Krieter, Sebastian and Bodden, Eric and Schaefer, Ina, year=2020 
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

@inproceedingsPiskachev_Nguyen Quang Do_Johnson_Bodden_2020, title=SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods, DOI=10.1109/ase.2019.00110, booktitle=2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), author=Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric, year=2020 
LibreCat: /record/23376
DOI: 10.1109/ase.2019.00110

@inbookPiskachev_Petrasch_Späth_Bodden_2020, place=Cham, title=AuthCheck: Program-State Analysis for Access-Control Vulnerabilities, DOI=10.1007/978-3-030-54997-8_34, booktitle=Lecture Notes in Computer Science, author=Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric, year=2020 
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

@bookHolzinger_2019, title=A Systematic Analysis and Hardening of the Java Security Architecture, publisher=Universität Paderborn, author=Holzinger, Philipp, year=2019 
LibreCat: /record/20522

@bookNguyen Quang Do_2019, title=User-Centered Tool Design for Data-Flow Analysis, publisher=Universität Paderborn, author=Nguyen Quang Do, Lisa, year=2019 
LibreCat: /record/20524

@inproceedingsStockmann_Laux_Bodden_2019, title=Architectural Runtime Verification, DOI=10.1109/ICSA-C.2019.00021, booktitle=2019 IEEE International Conference on Software Architecture Companion (ICSA-C), author=Stockmann, Lars and Laux, Sven and Bodden, Eric, year=2019, pages=77–84 
LibreCat: /record/20525
DOI: 10.1109/ICSA-C.2019.00021

@inproceedingsHazhirpasand_Ghafari_Krüger_Bodden_Nierstrasz_2019, title=The Impact of Developer Experience in Using Java Cryptography, DOI=10.1109/ESEM.2019.8870184, booktitle=2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), author=Hazhirpasand, Mohammadreza and Ghafari, Mohammad and Krüger, Stefan and Bodden, Eric and Nierstrasz, Oskar, year=2019, pages=1–6 
LibreCat: /record/20527
DOI: 10.1109/ESEM.2019.8870184

@inproceedingsPiskachev_Petrasch_Späth_Bodden_2019, title=AuthCheck: Program-state Analysis for Access-control Vulnerabilities, booktitle=10th Workshop on Tools for Automatic Program Analysis (TAPAS), author=Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric, year=2019 
LibreCat: /record/20528