Follow
Goran Piskachev
Goran Piskachev
Amazon Web Services
Verified email at amazon.de - Homepage
Title
Cited by
Cited by
Year
Codebase-adaptive detection of security-relevant methods
G Piskachev, LNQ Do, E Bodden
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
232019
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
202022
The mechatronicuml design method: Process and language for platform-independent modeling
S Dziwok, U Pohlmann, G Piskachev, D Schubert, S Thiele, C Gerking
152016
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
92021
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
82021
Fluently specifying taint-flow queries with fluentTQL
G Piskachev, J Späth, I Budde, E Bodden
Empirical Software Engineering 27 (5), 104, 2022
62022
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
62019
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
32020
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
22023
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
22023
Concerns, views, viewpoints, and stakeholders in the holistic Mechatronic UML process
G Piskachev
Seminar thesis for the Project Group Cybertron. Software Engineering …, 2013
22013
MICO: Selective search with mutual information co-training
J Roach
22012
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
12023
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
12023
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
12022
Integration of the Static Analysis Results Interchange Format in CogniCrypt
S Kummita, G Piskachev
arXiv preprint arXiv:1907.02558, 2019
12019
Detecting Security-Relevant Methods using Multi-label Machine Learning
O Johnson, G Piskachev, R Krishnamurthy, E Bodden
arXiv preprint arXiv:2403.07501, 2024
2024
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
Adapting Taint Analyses for Detecting Security Vulnerabilities
G Piskachev
University of Paderborn, Germany, 2022
2022
Language-agnostic Injection Detection
L Hermerschmidt, A Straub, G Piskachev
2020 IEEE Security and Privacy Workshops (SPW), 268-275, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20