Extend a software verifier with overflow detection
Building a dynamic symbolic execution engine for webassembly based on the Wasabi framework
Using Machine Learning for creating semantic embeddings
Creating a Machine Learning dataset
Adapt state-of-the-art exploitation defenses to WebAssembly, a new bytecode format for the web and more.
Use machine learning to determine when to stop dynamically analyzing Android Apps.
Using bounded model checking as an analysis technique to find vulnerabilities in binaries.