Schubert, Philipp, et al. “Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++.” SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), 2021.
LibreCat: /record/26406

Schubert, Philipp, et al. “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++.” 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
LibreCat: /record/26405

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, vol. 169, 2020, p. 110697, doi: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, et al. “PASAPTO: Policy-Aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage.” 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
LibreCat: /record/20509

Benz, Manuel, et al. “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis.” International Conference for Software Engineering (ICSE), 2020.
LibreCat: /record/20510

Fischer, Andreas, et al. “Computation on Encrypted Data Using Dataflow Authentication.” Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat: /record/20511

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

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

Koch, Thorsten, et al. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.”10.1145/3365438.3410946__ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020, doi: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, doi:10.17619/UNIPB/1-1033.
LibreCat: /record/20521
DOI: 10.17619/UNIPB/1-1033

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

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

Piskachev, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.”10.1109/ase.2019.00110__2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, doi:10.1109/ase.2019.00110.
LibreCat: /record/23376
DOI: 10.1109/ase.2019.00110

Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.”10.1007/978-3-030-54997-8_34__Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-54997-8_34.
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

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

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

Stockmann, Lars, et al. “Architectural Runtime Verification.”10.1109/ICSA-C.2019.00021__2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019, pp. 77–84, doi:10.1109/ICSA-C.2019.00021.
LibreCat: /record/20525
DOI: 10.1109/ICSA-C.2019.00021

Hazhirpasand, Mohammadreza, et al. “The Impact of Developer Experience in Using Java Cryptography.”10.1109/ESEM.2019.8870184__2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 2019, pp. 1–6, doi:10.1109/ESEM.2019.8870184.
LibreCat: /record/20527
DOI: 10.1109/ESEM.2019.8870184

Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” 10th Workshop on Tools for Automatic Program Analysis (TAPAS), 2019.
LibreCat: /record/20528

Nachtigall, Marcus, et al. “Explaining Static Analysis -- A Perspective.” 1st International Workshop on Explainable Software (EXPLAIN) at ASE, 2019.
LibreCat: /record/20529

Luo, Linghui, et al. “A Qualitative Analysis of Android Taint-Analysis Results.” IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 2019.
LibreCat: /record/20531

Piskachev, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, 2019.
LibreCat: /record/20532

Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.”10.1109/TSE.2019.2948910__IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/TSE.2019.2948910.
LibreCat: /record/20533
DOI: 10.1109/TSE.2019.2948910

Piskachev, Goran, et al. “Codebase-Adaptive Detection of Security-Relevant Methods.” ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019.
LibreCat: /record/20534

Luo, Linghui, et al. “MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors.” European Conference on Object-Oriented Programming (ECOOP), 2019.
LibreCat: /record/20535

Späth, Johannes. Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.
LibreCat: /record/20536

Piskachev, Goran, et al. Codebase-Adaptive Detection of Security-Relevant Methods. 2019.
LibreCat: /record/20537

Albert Gorski Iii, Sigmund, et al. “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware.” ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
LibreCat: /record/20538

Späth, Johannes, et al. “Context-, Flow-, and Field-Sensitive Data-Flow Analysis Using Synchronized Pushdown Systems.”10.1145/3290361__Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, vol. 3, no. POPL, ACM, 2019, p. 48:1-48:29, doi:10.1145/3290361.
LibreCat: /record/20539
DOI: 10.1145/3290361

Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” International Conference on Software Architecture (ICSA 2019), 2019.
LibreCat: /record/20759

Piskachev, Goran, et al. “Codebase-Adaptive Detection of Security-Relevant Methods.”10.1145/3293882.3330556__Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019, doi:10.1145/3293882.3330556.
LibreCat: /record/23378
DOI: 10.1145/3293882.3330556

Selbach, Nils. Modeling Crypto API Usages in OpenSSL’s EVP Library. Universität Paderborn, 2019.
LibreCat: /record/7628

Dann, Andreas, et al. “ModGuard: Identifying Integrity &;Confidentiality Violations in Java Modules.”10.1109/tse.2019.2931331__IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/tse.2019.2931331.
LibreCat: /record/14896
DOI: 10.1109/tse.2019.2931331

Dann, Andreas, et al. “SootDiff: Bytecode Comparison across Different Java Compilers.”10.1145/3315568.3329966__Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019, doi:10.1145/3315568.3329966.
LibreCat: /record/14897
DOI: 10.1145/3315568.3329966

Kruger, Stefan, and Ben Hermann. “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts.”10.1109/ge.2019.00012__2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE), 2019, doi:10.1109/ge.2019.00012.
LibreCat: /record/14899
DOI: 10.1109/ge.2019.00012

Schubert, Philipp, et al. “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.”10.1007/978-3-030-17465-1_22__Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), vol. II, 2019, pp. 393–410, doi:10.1007/978-3-030-17465-1_22.
LibreCat: /record/7626
DOI: 10.1007/978-3-030-17465-1_22

Schubert, Philipp, et al. “Know Your Analysis: How Instrumentation Aids Understanding Static Analysis.”10.1145/3315568.3329965__Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019, doi:10.1145/3315568.3329965.
LibreCat: /record/14898
DOI: 10.1145/3315568.3329965

Pauck, Felix, et al. “Do Android Taint Analysis Tools Keep Their Promises?” ArXiv:1804.02903, 2018.
LibreCat: /record/2711

Bodden, Eric, and Lisa Nguyen Quang Do. “Explainable Static Analysis.” Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. M\'22arz 2018, Ulm, Germany., 2018, pp. 205–08.
LibreCat: /record/20530

Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.”10.1109/TSE.2018.2868349__IEEE Transactions on Software Engineering, 2018, pp. 1–1, doi:10.1109/TSE.2018.2868349.
LibreCat: /record/20543
DOI: 10.1109/TSE.2018.2868349

Tichy, Matthias, et al., editors. Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. Gesellschaft für Informatik, 2018.
LibreCat: /record/20544

Tip, Frank, and Eric Bodden, editors. Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM, 2018.
LibreCat: /record/20545

Gerking, Christopher, et al. “Model Checking the Information Flow Security of Real-Time Systems.” Engineering Secure Software and Systems, edited by Mathias Payer et al., Springer International Publishing, 2018, pp. 27–43.
LibreCat: /record/20546

Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.”10.1145/3236024.3264830__Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, 2018, pp. 714–18, doi:10.1145/3236024.3264830.
LibreCat: /record/20547
DOI: 10.1145/3236024.3264830

Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).”10.1145/3236454.3236500__ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, 2018, pp. 85–93, doi:10.1145/3236454.3236500.
LibreCat: /record/20548
DOI: 10.1145/3236454.3236500

Geismann, Johannes, et al. “Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes.” International Conference on Software and System Processes (ICSSP), 2018.
LibreCat: /record/20549

Bodden, Eric. “Self-Adaptive Static Analysis.”10.1145/3183399.3183401__Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, 2018, pp. 45–48, doi:10.1145/3183399.3183401.
LibreCat: /record/20550
DOI: 10.1145/3183399.3183401

Nguyen Quang Do, Lisa, et al. “VISUFLOW, a Debugging Environment for Static Analyses.” International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.
LibreCat: /record/20551

Fockel, Markus. Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018, doi:10.17619/UNIPB/1-490.
LibreCat: /record/20779
DOI: 10.17619/UNIPB/1-490