Vulnerable Smart Contract Detection by Means of Model Checking. - Giuseppe Crincoli; Giacomo Iadarola; Piera Elena La Rocca; Fabio Martinelli; Francesco Mercaldo; Antonella Santone (BSCI, 2022)

A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning. - Giuseppe Crincoli; Fabiana Fierro; Giacomo Iadarola; Piera Elena La Rocca; Fabio Martinelli; Francesco Mercaldo; Antonella Santone (SECRYPT, 2022)