Mercaldo, F., Martinelli, F. and Santone, A. (2021) “Timed Automata for Mobile Ransomware Detection”, Electronic Communications of the EASST, 79. doi: 10.14279/tuj.eceasst.79.1120.