Johannes Späth

Orcid: 0000-0003-4462-9372

Affiliations:
  • Fraunhofer Institute for Mechatronic Systems Design (IEM), Paderborn, Germany
  • University of Paderborn, Germany (PhD 2019)
  • Fraunhofer Institute for Secure Information Technology (SIT), Lancaster, UK (former)


According to our database1, Johannes Späth authored at least 14 papers between 2015 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Fluently specifying taint-flow queries with fluentTQL.
Empir. Softw. Eng., 2022

2021
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
IEEE Trans. Software Eng., 2021

2019
Synchronisierte Pushdown Systeme für Datenfluss-Analysen.
Proceedings of the Ausgezeichnete Informatikdissertationen 2019., 2019

Synchronized pushdown systems for pointer and data-flow analysis.
PhD thesis, 2019

Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.
Proc. ACM Program. Lang., 2019

A Qualitative Analysis of Android Taint-Analysis Results.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Applications of Synchronized Pushdown Systems.
Proceedings of the Ernst Denert Award for Software Engineering 2019, 2019

2018
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).
Dagstuhl Artifacts Ser., 2018

2017
IDE<sup><i>al</i></sup>: efficient and precise alias-aware dataflow analysis.
Proc. ACM Program. Lang., 2017

CrySL: Validating Correct Usage of Cryptographic APIs.
CoRR, 2017

2016
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact).
Dagstuhl Artifacts Ser., 2016

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015


  Loading...