Dr.-Ing. Ben Hermann


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


Loading data from TUbiblio…

Error on loading data

An error has occured when loading publications data from TUbiblio. Please try again later.

  • {{ year }}

    • ({{,4) }}):
      {{ publication.title }}. ({{ labels[publication.doc_status] }})
      In: {{ publication.book_title }}, {{ publication.number}} ({{ publication.journal_volume }}), {{ publication.volume }}, In: {{ publication.series }}, {{ publication.volume }}, ppp. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN: {{ publication.issn }}, ISBN: {{ publication.isbn }}, [{{ labels[publication.type]?labels[publication.type]:publication.type }}]
    • […]

Number of items in this list: {{ publicationsList.length }}
Only the {{publicationsList.length}} latest publications are displayed here.

View complete list at TUbiblio View this list at TUbiblio