Software Tools

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