I am a researcher at the Software Technology Group at TU Darmstadt. You can find more information on my personal website. If you are interested in current information you can also consult my blog.
Research Interests
- Vulnerability Detection using Static Analysis
- Risk Assessment of Software Libraries
- Security Guarantees in Type Systems
- Language-based Security
Supervised Theses
| Title | Author | Thesis Type |
| Automated Analysis of Transitive Threat Propagation for Native Calls in the Java Runtime Environment | Tim Kranz | Bachelor thesis |
| Analysis of Safe Guard and Sanitizer Placements for Native Methods in the Java Class Library | Henriette Röger | Master thesis |
| Cross-language Static Analysis of Java and Native Code | Dominik Helm & Florian Kübler | Bachelor thesis |
| A Security Classification of the Java Class Library's Native Methods by a Static Analysis of Their Implementation | Florian Wendel | Master thesis |
| Modelling the Propagation of Threat from Native Methods in the Java Class Library | Johann Wiedmeier | Bachelor thesis |
Publications
Error on loading data
An error has occured when loading publications data from TUbiblio. Please try again later.
-
{{ year }}
-
; {{ creator.name.family }}, {{ creator.name.given }}{{ publication.title }}.
; {{ editor.name.family }}, {{ editor.name.given }} (eds.); ; {{ creator }} (Corporate Creator) ({{ publication.date.toString().substring(0,4) }}):
In: {{ publication.series }}, {{ publication.volume }}, In: {{ publication.book_title }}, In: {{ publication.publication }}, {{ publication.journal_volume}} ({{ publication.number }}), ppp. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_title }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN {{ publication.issn }}, e-ISSN {{ publication.eissn }}, ISBN {{ publication.isbn }}, DOI: {{ publication.doi.toString().replace('http://','').replace('https://','').replace('dx.doi.org/','').replace('doi.org/','').replace('doi.org','').replace("DOI: ", "").replace("doi:", "") }}, Official URL, {{ labels[publication.type]?labels[publication.type]:publication.type }}, {{ labels[publication.pub_sequence] }}, {{ labels[publication.doc_status] }} - […]
-
Number of items in this list: >{{ publicationsList.length }}
Only the {{publicationsList.length}} latest publications are displayed here.