Goran Piskachev

I am an applied scientist at Amazon Web Services in Berlin, Germany. 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.

Research Areas of Interest:

Github Logo LinkedIn Logo Instagram Logo

Education

Work Experience

Publications

Talks

Service

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