Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra. Enforcing Mobile Application Security Through Probabilistic Contracts. In Wouter Joosen, Fabio Martinelli, Thomas Heyman, editors, Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014. Volume 1298 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]
Abstract is missing.