Mercaldo, F. et al. 2021. Timed Automata for Mobile Ransomware Detection. Electronic Communications of the EASST. 79, (May 2021). DOI:https://doi.org/10.14279/tuj.eceasst.79.1120.