- SATMC, a fully-automated security protocol analyser
- RiskInDroid, a tool for quantitative risk analysis of Android apps based on machine learning techniques
- FCDroid, a tool to detect automatically the Frame Confusion vulnerability in Android hybrid apps.
- Obfuscapk, an extensible open-source Python tool for black-box obfuscation of Android apps.
- WAF-A-MoLE, a guided mutation-based fuzzer for ML-based Web Application Firewalls.
- 3PDroid, a tool to detect automatically if an Android App is compliant or not with Google Play privacy guidelines.
- RevOK, an HTTP response fuzzer to test security scanners.
- ARMANDroid, a novel anti-repackaging scheme for Android Apps.
- ARES, a black-box tool that uses Deep Reinforcement Learning to test and explore Android applications.