I am a doctoral researcher in the Software Technology Group. My research interests are focused on static code analysis, API mining and security. Currently, I focus on the security of cryptographic APIs.
A well-known problem of cryptography in software is that cryptographic APIs are used in an insecure way. An example is that developers use ECB as a block mode for encryption which is known to be insecure. Within my research we want to develop tools to support developers to write secure code.
I am a researcher in the project E1 – Secure Integration of Cryptographic Software of the SFB 1119 CROSSING. Within this project, our aim is to support software engineers to integrate cryptographic software components in a correct and secure way.
During my master, I was part of the GoRETech: Go Runtime Enforcement Techniques project. One of the aims of the project was to develop a static analysis for the programming language Go which can detect security threads in a distributed Go program. We proposed our idea in a paper and presented preliminary results of my master thesis at NWPT'16.
1 item found. Show all theses.