Publikationen

Publikationen mit folgenden Eigenschaften suchen:



Stichwortsuche:

Jahrgang:

Autoren/Editoren:

Nur Autoren/Editoren der Fachgruppe zur Auswahl stellen
Alle Autoren/Editoren des HNI zur Auswahl stellen

Art der Publikation:


 

Unsere Publikationen aus dem Jahr 2020:



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


Unsere Publikationen aus dem Jahr 2019:



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

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 (Details)

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 (Hrsg.) Projektmanagement und Vorgehensmodelle 2019 (PVM 2019), 24. - 25. Okt. 2019 Gesellschaft für Informatik, Lecture Notes in Informatics (LNI) (Details)

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), Okt. 2019 (Details)

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

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

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 (Details)

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), S. 57--69, Sep. 2019, Springer International Publishing (Details)

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 (Details)

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), Jul. 2019 (Details)

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

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 (Hrsg.) Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering, GE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., S. 13--16, Mai 2019, {IEEE} / {ACM} (Details)

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

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 (Details)

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

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

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, S. 8--13, New York, NY, USA, 2019, ACM (Details)

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, S. 14--19, New York, NY, USA, 2019, ACM (Details)

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 (Details)

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): S. 48:1--48:29, Jan. 2019 (Details)

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

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 (Details)

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 (Details)