Language Menu
Search Intern
Main Navigation
 
  • Team
  • Research
  • Publications
  • Teaching
  • Vacancies

Universität der Bundeswehr München

Breadcrumbs
  1. Home
  2. teaching
  3. Thesis Topics

An Automated Method for Creating Various Realizations of Functions

Creating a Machine Learning dataset

Automatic Time Limits for Testing Android Apps

Use machine learning to determine when to stop dynamically analyzing Android Apps.

Detecting Integer Overflows in C Programs

Extend a software verifier with overflow detection

DSE for Webassembly

Building a dynamic symbolic execution engine for webassembly based on the Wasabi framework

Hardening WebAssembly against Exploitation

Adapt state-of-the-art exploitation defenses to WebAssembly, a new bytecode format for the web and more.

Learning Assembly Code Representations

Using Machine Learning for creating semantic embeddings

Contact

Nil Cetinkaya
Carl-Wery-Str. 22
81739 München
Germany

  • +49 89 6004 7331

Organization Links

Institut für Systemsicherheit

Forschungsinstitut CODE

Universität der Bundeswehr München

Quick Links

  • Univ.-Prof. Dr. Johannes Kinder
  • Publications
  • Vacancies
Meta-Navigation Tools
  • Contact
  • Impressum – Legal Disclosure
  • Privacy Statement
  • Press
  • Webmail
  • Login
Zum Seitenanfang springen