User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal. - Fabio Di Tommaso; Michele Guerra; Fabio Martinelli; Francesco Mercaldo; Massimo Piedimonte; Giovanni Rosa; Antonella Santone (IEEE BigData, 2019)