Probabilistic Contract Compliance for Mobile Applications

  title={Probabilistic Contract Compliance for Mobile Applications},
  author={Gianluca Dini and Fabio Martinelli and Andrea Saracino and Daniele Sgandurra},
  journal={2013 International Conference on Availability, Reliability and Security},
We propose PICARD (ProbabIlistic Contract on Android), a framework to generate probabilistic contracts to detect repackaged applications for Android smart phones. A contract describes the sequences of actions that an application is allowed to perform at run-time, i.e. its legal behavior. In PICARD, contracts are generated from the set of traces that represent the usage profile of the application. Both the contract and the application's run-time behavior are represented through clustered… CONTINUE READING