[ALMS21] Alessandro Aldini, Antonio La Marra, Fabio Martinelli and Andrea Saracino. Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices. Soft Computing, 25, pages 2295–2314, Springer. 2021. [Proposes a probabilistic security-by-contract paradigm, including the use of probabilistic model checking and PRISM.]
Notes: The original publication is available at link.springer.com.