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 database¹, Johannes Späth authored at least 14 papers between 2015 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Fluently specifying taint-flow queries with fluentTQL.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

2021

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

2019

Synchronisierte Pushdown Systeme für Datenfluss-Analysen.

[BibT_eX]

[DOI]

Johannes Späth

Proceedings of the Ausgezeichnete Informatikdissertationen 2019., 2019

Synchronized pushdown systems for pointer and data-flow analysis.

[BibT_eX]

[DOI]

Johannes Späth

PhD thesis, 2019

Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.

[BibT_eX]

[DOI]

Johannes Späth

Karim Ali

Eric Bodden

Proc. ACM Program. Lang., 2019

A Qualitative Analysis of Android Taint-Analysis Results.

[BibT_eX]

[DOI]

Linghui Luo

Eric Bodden

Johannes Späth

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Applications of Synchronized Pushdown Systems.

[BibT_eX]

[DOI]

Johannes Späth

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).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2018

2017

IDE<sup><i>al</i></sup>: efficient and precise alias-aware dataflow analysis.

[BibT_eX]

[DOI]

Johannes Späth

Karim Ali

Eric Bodden

Proc. ACM Program. Lang., 2017

CrySL: Validating Correct Usage of Cryptographic APIs.

[BibT_eX]

[DOI]

CoRR, 2017

2016

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2016

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Johannes Späth

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...