| CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs S Krüger, J Späth, K Ali, E Bodden, M Mezini IEEE Transactions on Software Engineering 47 (11), 2382-2400, 2019 | 153 | 2019 |
| Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java J Späth, L Nguyen Quang Do, K Ali, E Bodden 30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016 | 148 | 2016 |
| Context-, flow-, and field-sensitive data-flow analysis using synchronized pushdown systems J Späth, K Ali, E Bodden Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 92 | 2019 |
| Access-path abstraction: Scaling field-sensitive data-flow analysis with unbounded access paths (t) J Lerch, J Späth, E Bodden, M Mezini 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 44 | 2015 |
| IDEal: efficient and precise alias-aware dataflow analysis J Späth, K Ali, E Bodden Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017 | 37 | 2017 |
| A qualitative analysis of android taint-analysis results L Luo, E Bodden, J Späth 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 32 | 2019 |
| Qualitative and Quantitative Analysis of Callgraph Algorithms for Python S Kummita, G Piskachev, J Späth, E Bodden 2021 International Conference on Code Quality (ICCQ), 1-15, 2021 | 9 | 2021 |
| Synchronized pushdown systems for pointer and data-flow analysis J Späth Universität Paderborn, 2019 | 9 | 2019 |
| Fluently specifying taint-flow queries with fluentTQL G Piskachev, J Späth, I Budde, E Bodden Empirical Software Engineering 27 (5), 104, 2022 | 8 | 2022 |
| AuthCheck: Program-State Analysis for Access-Control Vulnerabilities G Piskachev, T Petrasch, J Späth, E Bodden Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 3 | 2020 |
| Modular points-to analysis J Späth, F Gauthier, P Krishnan US Patent 10,528,344, 2020 | 1 | 2020 |
| Boomerang: Demand-Driven Flow-and Context-Sensitive Pointer Analysis for Java (Artifact) J Späth, L Nguyen Quang Do, K Ali, E Bodden Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2016 | 1 | 2016 |
| Applications of Synchronized Pushdown Systems J Späth Ernst Definert Award for Software Engineering 2019, 19, 2020 | | 2020 |
| Synchronisierte Pushdown Systeme für Datenfluss-Analysen J Späth Gesellschaft für Informatik eV, 2020 | | 2020 |
| CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact) S Krüger, J Späth, K Ali, E Bodden, M Mezini Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2018 | | 2018 |
| Security Analysis of TrueCrypt M Baluda, A Fuchs, P Holzinger, L Nguyen, L Othmane, A Poller, J Repp, ... BSI, 2015 | | 2015 |
| Sicherheitsanalyse TrueCrypt M Baluda, A Fuchs, P Holzinger, L Nguyen, LB Othmane, A Poller, J Repp, ... BSI, 2015 | | 2015 |
| Antal, Gábor, 14 Bodden, Eric, 39 Cheshkov, Anton, 54 Dechev, Damian, 26 M Fadhel, R Ferenc, E Garmash, TE Gasiba, P Hegedus, S Hodzic, ... | | |
| CrySL: An Extensible Approach to Validating the S Krüger, J Späth, K Ali, E Bodden, M Mezini | | |
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEM在 uni-paderborn.de 的电子邮件经过验证
