Thesis Topics

This is a (non-exclusive) list of thesis topics currently offered at the PATCH lab. Let us know if you are interested in any of them or have your own ideas related to our work.

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.

Bounded Model Checking for Binary Analysis

Using bounded model checking as an analysis technique to find vulnerabilities in binaries.

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