Sr. software engineer, research assistant at the dept. of information engineering (University of Pisa). Independent researcher at Antifork.