Alessandro Aldini, Antonio La Marra, Fabio Martinelli, Andrea Saracino. Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices. Soft Comput., 25(3):2295-2314, 2021. [doi]
@article{AldiniMMS21,
title = {Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices},
author = {Alessandro Aldini and Antonio La Marra and Fabio Martinelli and Andrea Saracino},
year = {2021},
doi = {10.1007/s00500-020-05299-4},
url = {https://doi.org/10.1007/s00500-020-05299-4},
researchr = {https://researchr.org/publication/AldiniMMS21},
cites = {0},
citedby = {0},
journal = {Soft Comput.},
volume = {25},
number = {3},
pages = {2295-2314},
}