I am a doctoral researcher in the Software Technology Group. My research interests are focused on static code analysis 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 find tools to support developers to write secure code.