Creating a Machine Learning dataset

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

Extend a software verifier with overflow detection

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

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

Using Machine Learning for creating semantic embeddings