| 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 | 166 | 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), 22: 1 …, 2016 | 161 | 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 | 107 | 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 | 49 | 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 | 42 | 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 | 38 | 2019 |
| Fluently specifying taint-flow queries with fluentTQL G Piskachev, J Späth, I Budde, E Bodden Empirical Software Engineering 27 (5), 104, 2022 | 11 | 2022 |
| Synchronized pushdown systems for pointer and data-flow analysis J Späth Universität Paderborn, 2019 | 9 | 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 | 8 | 2021 |
| 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 | 5 | 2020 |
| Boomerang: Demand-Driven Flow-and Context-Sensitive Pointer Analysis for Java (Artifact) J Späth, L Nguyen Quang Do, K Ali, E Bodden Dagstuhl Artifacts Series 2 (1), 12: 1-12: 2, 2016 | 2 | 2016 |
| Modular points-to analysis J Späth, F Gauthier, P Krishnan US Patent 10,528,344, 2020 | 1 | 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 Dagstuhl Artifacts Series 4 (3), 6: 1-6: 4, 2018 | 1 | 2018 |
| Security Analysis of TrueCrypt M Baluda, A Fuchs, P Holzinger, L Nguyen, L Othmane, A Poller, J Repp, ... BSI, 2015 | 1 | 2015 |
| 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 Ausgezeichnete Informatikdissertationen 2019, 199-208, 2020 | | 2020 |
| 32nd European Conference on Object-Oriented Programming (ECOOP 2018) R Mogk, L Baumgärtner, G Salvaneschi, B Freisleben, M Mezini, H Inoue, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
| 30th European Conference on Object-Oriented Programming (ECOOP 2016) E Andreasen, CS Gordon, S Chandra, M Sridharan, F Tip, K Sen, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
| 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, ... | | |
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMOverená e-mailová adresa na: uni-paderborn.de
