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.
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.