Goran Piskachev

I am an applied scientist at Amazon Web Services in New York, USA. I hold a PhD degree from Paderborn University under the supervision of Prof. Dr. Eric Bodden. My research is in the area of program analysis and its practical applications in the domains of security and privacy. In my PhD thesis, I developed techniques that bring the application of taint analysis for detecting security vulnerabilities closer to software developers. I received a research grant via the Software Campus program funded by the German Minstry of Education and Research for the project SecuCheck.

Research Areas of Interest:

Github Logo LinkedIn Logo Instagram Logo

Education

Work Experience

Publications

Talks

Service

🎤 Organizing

📋 Program Committees

  • CAIN – Intl. Conf. on AI Engineering
  • ICPC – Intl. Conf. on Program Comprehension
  • MOBILESoft – Intl. Conf. on Mobile Software Engineering and Systems
  • IDE Workshop (collocated at ICSE)
  • secDev – Secure Development Conf.
  • SAS – Static Analysis Symposium
  • ASE – Intl. Conf. on Automated Software Engineering (Industry Track)
  • SANER – Intl. Conf. on Software Analysis, Evolution and Reengineering (Tool Track)
  • ECOOP – European Conf. on Object-Oriented Programming (Doctoral Symposium)
  • MSR – Mining Software Repositories Conf. (Shadow PC)

📖 Journal Reviewing

  • TOSEM – ACM Trans. on Software Engineering and Methodology
    • 2022, 2024, 2025
  • JSS – Journal of Systems and Software (Elsevier)
    • 2025, 2026
  • CoSe – Computers and Security (Elsevier)
    • 2025, 2026
  • INFSOF – Information and Software Technology (Elsevier)
    • 2025
  • ASE Journal – Automated Software Engineering (Springer)
    • 2024, 2025
  • SN Computer Science (Springer)
    • 2024
  • Cluster Computing (Springer)
    • 2024
  • EMSE – Empirical Software Engineering (Springer)
    • 2020, 2022
  • SPE – Software: Practice and Experience (Wiley)
    • 2020

🧪 Artifact Evaluation

  • ICSE – Intl. Conf. on Software Engineering
  • PLDI – Conf. on Programming Language Design and Implementation
  • CAV – Intl. Conf. on Computer Aided Verification
  • ESOP – European Symposium on Programming
  • USENIX Security
  • ISSTA – Intl. Symposium on Software Testing and Analysis

🔍 External Reviewing

  • CAV 2024 – Intl. Conf. on Computer Aided Verification
  • ICSE 2022 – Intl. Conf. on Software Engineering
  • IEEE S&P 2021 – IEEE Symposium on Security and Privacy

Teaching

At Paderborn University, I suppervised the following theses
  • [2023] Master thesis - Explorative research on using LLVM and PhASAR to run data-flow analyses on SWIFT
  • [2022] Seminar Secure Systems Engineering (WS21/22) - Understanding and evaluating MarianaTrench
  • [2022] Master thesis - Explorative research on taint analysis for Kotlin
  • [2021] Master thesis - Soot-based configuration generator for analysis writers (co-supervised)
  • [2021] Master thesis - Extending fluentTQL: Specifying taint-flows through a domain-specific language
  • [2020] Master thesis - Evaluation of Call Graph Construction for Python (co-supervised)
  • [2020] Master thesis - Transformation of Taint and Typestate Specifications (co-supervised)
  • [2020] Seminar Secure Systems Engineering (WS19/20) - Transforming Taint flow Specifications into Correct Usage of APIs (co-supervised)
  • [2020] Seminar Secure Systems Engineering (WS19/20) - Survey on Domain Specific Languages for Taint Analysis
  • [2019] Pro-Seminar Softwareentwicklung fuer software-intensive Systeme (SS19) - Representing Source Code in Machine Leraning for Code Analysis
  • [2019] Seminar Advanced Software Engineering Contepts (SS19) - Integrating Feedback in the IDE
  • [2019] Master thesis - Detection of methods of interest for security based on software documentation
  • [2019] Seminar Secure Systems Engineering (WS18/19) - Survey on adaptive static analysis
  • [2018] Bachelor thesis - Authentication and authorization checker for Java web systems
  • [2018] Bachelor thesis - Evaluation of machine learning algorithms for automatic detection of security-relevant methods
  • [2018] Seminar Secure Systems Engineering (WS17/18) - Inferring specifications for taint-style vulnerabilities
  • [2017] Seminar Secure Systems Engineering (WS16/17) - Security vulnerabilities in Android's inter-app communication
Teaching assistance

Contact

e-Mail: goran(at)piskachev.com