Giovanni Rosa

User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal

2019

The current authentication systems based on password and pin code are not enough to guarantee attacks from malicious users. For this reason, in the last years, several studies are proposed with the aim to identify …

Evaluating SZZ Implementations Through a Developer-informed Oracle

2021 · arXiv (Cornell University)

The SZZ algorithm for identifying bug-inducing changes has been widely used to evaluate defect prediction techniques and to empirically investigate when, how, and by whom bugs are introduced. Over the years, researchers have proposed several …