Publications

Search for publications with the following properties:



Keyword search:

Year:

Authors/Editors:

Only authors/editors from this research group are selectable
All authors/editors from the HNI are selectable

Publication type:


 

Our publications from 2020:



Fischer, Andreas; Fuhry, Benny; Kerschbaum, Florian; Bodden, Eric: Computation on Encrypted Data using Dataflow Authentication. In: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020 (more)


Our publications from 2019:



Nachtigall, Marcus; Nguyen, Lisa; Bodden, Eric: Explaining Static Analysis - A Perspective. In: 1st International Workshop on Explainable Software (EXPLAIN) at ASE, Nov 2019 (more)

Piskachev, Goran; Nguyen, Lisa; Johnson, Oshando; Bodden, Eric: SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. In: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, Nov 2019 (more)

Fazal-Baqaie, Masud; Strüwer, Jan-Niclas; Schmelter, David; Dziwok, Stefan: Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen. In: Mikusz, Martin (eds.) Projektmanagement und Vorgehensmodelle 2019 (PVM 2019), Oct 24 - 25, 2019 Gesellschaft für Informatik, Lecture Notes in Informatics (LNI) (more)

Piskachev, Goran; Petrasch, Tobias; Späth, Johannes; Bodden, Eric: AuthCheck: Program-state Analysis for Access-control Vulnerabilities. In: 10th Workshop on Tools for Automatic Program Analysis (TAPAS), Oct 2019 (more)

Holzinger, Philipp: A Systematic Analysis and Hardening of the Java Security Architecture. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, Oct 2019 (more)

Nguyen, Lisa: User-Centered Tool Design for Data-Flow Analysis. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, Oct 2019 (more)

Gerking, Christopher; Budde, Ingo: Heuristic Inference of Model Transformation Definitions from Type Mappings. In: Workshop on Artificial Intelligence and Model-driven Engineering (MDE Intelligence 2019), 16 Sep 2019 (more)

Fockel, Markus; Merschjohann, Sven; Fazal-Baqaie, Masud; Förder, Torsten; Hausmann, Stefan; Waldeck, Boris: Designing and Integrating IEC 62443 Compliant Threat Analysis. In: Proceedings of the 26th European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019), pp. 57--69, Sep 2019, Springer International Publishing (more)

Hazhirpasand, Mohammadreza; Ghafari, Mohammad; Krüger, Stefan; Bodden, Eric; Nierstrasz, Oscar: The Impact of Developer Experience in Using Java Cryptography. In: ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), Emerging Results and Vision Track, Sep 2019 (more)

Luo, Linghui; Dolby, Julian; Bodden, Eric: MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors. In: European Conference on Object-Oriented Programming (ECOOP), July 2019 (more)

Holtmann, Jörg: Improvement of Software Requirements Quality based on Systems Engineering. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, June 2019 (more)

Krüger, Stefan; Hermann, Ben: Can an online service predict gender?: on the state-of-the-art in gender identification from texts. In: Crnkovic, Ivica; Kohl Silveira, Karina; Sprenkle, Sara (eds.) Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering, GE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 13--16, May 2019, {IEEE} / {ACM} (more)

Stockmann, Lars; Laux, Sven; Bodden, Eric: Architectural Runtime Verification. In: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), pp. 77-84, Mar 2019 (more)

Luo, Linghui; Bodden, Eric; Späth, Johannes: A Qualitative Analysis of Taint-Analysis Results. In: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 2019 (more)

Thüm, Thomas; Knüppel, Alexander; Krüger, Stefan; Bolle, Stefanie; Schaefer, Ina: Feature-oriented contract composition. Journal of Systems and Software, 152: pp. 83--107 2019 (more)

Dann, Andreas; Hermann, Ben; Bodden, Eric: ModGuard: Identifying Integrity Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering: pp. 1-1 2019 (more)

Schubert, Philipp; Leer, Richard; Hermann, Ben; Bodden, Eric: Know Your Analysis: How Instrumentation Aids Understanding Static Analysis. In: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2019, pp. 8--13, New York, NY, USA, 2019, ACM (more)

Dann, Andreas; Hermann, Ben; Bodden, Eric: SootDiff: Bytecode Comparison Across Different Java Compilers. In: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2019, pp. 14--19, New York, NY, USA, 2019, ACM (more)

Albert Gorski Iii, Sigmund; Andow, Benjamin; Nadkarni, Adwait; Manandhar, Sunil; Enck, William; Bodden, Eric; Bartel, Alexandre: ACMiner: Extraction and Analysis of Authorization Checks in Android s Middleware. In: ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019 (more)

Späth, Johannes; Ali, Karim; Bodden, Eric: Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, 3(POPL): pp. 48:1--48:29, Jan 2019 (more)

Späth, Johannes: Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Dissertation, Universität Paderborn, Jan 2019 (more)

Schubert, Philipp; Hermann, Ben; Bodden, Eric: PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019 (more)

Krüger, Stefan; Späth, Johannes; Ali, Karim; Bodden, Eric; Mezini, Mira: CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering, Jan 2019 (more)