| TaintBench: Automatic real-world malware benchmarking of Android taint analyses L Luo, F Pauck, G Piskachev, M Benz, I Pashchenko, M Mory, E Bodden, ... Empirical Software Engineering 27, 1-41, 2022 | 33 | 2022 |
| Codebase-adaptive detection of security-relevant methods G Piskachev, LNQ Do, E Bodden Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 31 | 2019 |
| The mechatronicuml design method: Process and language for platform-independent modeling S Dziwok, U Pohlmann, G Piskachev, D Schubert, S Thiele, C Gerking | 16 | 2016 |
| 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 |
| Secucheck: Engineering configurable taint analysis for software developers G Piskachev, R Krishnamurthy, E Bodden 2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021 | 11 | 2021 |
| SWAN_ASSIST: semi-automated detection of code-specific, security-relevant methods G Piskachev, LNQ Do, O Johnson, E Bodden 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 10 | 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 |
| Can the configuration of static analyses make resolving security vulnerabilities more effective?-A user study G Piskachev, M Becker, E Bodden Empirical Software Engineering 28 (5), 118, 2023 | 6 | 2023 |
| 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 |
| Shifting left for early detection of machine-learning bugs B Liblit, L Luo, A Molina, R Mukherjee, Z Patterson, G Piskachev, M Schäf, ... International Symposium on Formal Methods, 584-597, 2023 | 3 | 2023 |
| Integration of the Static Analysis Results Interchange Format in CogniCrypt S Kummita, G Piskachev arXiv preprint arXiv:1907.02558, 2019 | 3 | 2019 |
| Compositional taint analysis for enforcing security policies at scale S Banerjee, S Cui, M Emmi, A Filieri, L Hadarean, P Li, L Luo, ... Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 2 | 2023 |
| Model Generation For Java Frameworks L Luo, G Piskachev, R Krishnamurthy, J Dolby, E Bodden, M Schäf 2023 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2023 | 2 | 2023 |
| To what extent can we analyze Kotlin programs using existing Java taint analysis tools? R Krishnamurthy, G Piskachev, E Bodden 2022 IEEE 22nd International Working Conference on Source Code Analysis and …, 2022 | 2 | 2022 |
| Concerns, views, viewpoints, and stakeholders in the holistic Mechatronic UML process G Piskachev Seminar thesis for the Project Group Cybertron. Software Engineering …, 2013 | 2 | 2013 |
| Detecting Security-Relevant Methods using Multi-label Machine Learning O Johnson, G Piskachev, R Krishnamurthy, E Bodden Proceedings of the 1st ACM/IEEE Workshop on Integrated Development …, 2024 | 1 | 2024 |
| Adapting taint analyses for detecting security vulnerabilities G Piskachev University of Paderborn, Germany, 2022 | 1 | 2022 |
| How far are German companies in improving security through static program analysis tools? G Piskachev, S Dziwok, T Koch, S Merschjohann, E Bodden 2022 IEEE Secure Development Conference (SecDev), 7-15, 2022 | | 2022 |
| Formal methods Filters B Liblit, L Luo, AM Ramirez, R Mukherjee, Z Patterson, G Piskachev, ... Policy, 2021 | | 2021 |
| Language-agnostic Injection Detection L Hermerschmidt, A Straub, G Piskachev 2020 IEEE Security and Privacy Workshops (SPW), 268-275, 2020 | | 2020 |
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
