Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices. - Aldini, Alessandro; La Marra, Antonio; Martinelli, Fabio; Saracino, Andrea (Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2021)