Johannes Späth

ORCID

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 14

Top Venues

Proc. ACM Program. Lang.

CoRR

Dagstuhl Artifacts Ser.

ASE

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden
Fluently specifying taint-flow queries with fluentTQL. CoRR (2022)
Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden
Fluently specifying taint-flow queries with fluentTQL. Empir. Softw. Eng. 27 (5) (2022)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Trans. Software Eng. 47 (11) (2021)
Johannes Späth
Applications of Synchronized Pushdown Systems. Denert Award (2019)
Linghui Luo, Eric Bodden, Johannes Späth
A Qualitative Analysis of Android Taint-Analysis Results. ASE (2019)
Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. FM Workshops (2) (2019)
Johannes Späth, Karim Ali, Eric Bodden
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems. Proc. ACM Program. Lang. 3 (POPL) (2019)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. ECOOP (2018)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: Validating Correct Usage of Cryptographic APIs. CoRR (2017)
Johannes Späth, Karim Ali, Eric Bodden
: efficient and precise alias-aware dataflow analysis. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. ECOOP (2016)
Johannes Lerch, Johannes Späth, Eric Bodden, Mira Mezini
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T). ASE (2015)

Johannes Späth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Johannes Späth