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.