Special-Issued Research Labs

We offer a set of special-issued lab topics which are strongly connected to our research. As these topics require good to very good skills in special areas which depend on the task, there is an additional application step. If you are interested, please write a concise exposé (1-2 pages, \documentclass{scrartcl}) on the topic and send it via e-mail to the supervisor.

The application is open permanently, the lab itself is however bound to our regular schedule. You will have to register through our normal forms, so please mind their deadlines. In special cases, you may ask you supervisor to perform the lab as an IPEC lab (block course, about 4 weeks full-time) which can be arranged more flexibly.

Current Topics

Improving JavaScript Static Analysis through an Intermediate Representation (Ben Swierzy)

JavaScript (formally ECMAScript) is a highly popular and versatile scripting language, which has been subject of security research for decades. Here, static analysis is a core technique to extract all kinds of properties from the source code. In this lab, the focus is on the development and evaluation of an intermediate representation by building a transpiler onto a subset of JavaScript. Although not perfectly achievable, the ultimate goal would be that code with identical semantics should have an identical syntactic expression. This might improve lots of static analysis applications in IT security.

Keywords: programming languages, static analysis, compiler