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

Learning Assembly Code Representations

Using Machine Learning for creating semantic embeddings

An Automated Method for Creating Various Realizations of Functions

Creating a Machine Learning dataset