Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. - Giuseppe Crincoli; Tiziano Marinaro; Fabio Martinelli; Francesco Mercaldo; Antonella Santone (AINA, 2020)

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)

Privacy-Preserving Data Sharing for Collaborative Analytics in Multi-Modal Transportation Systems. - Daniele Albanese; Giuseppe Crincoli; Marco De Vincenzi 001; Giacomo Iadarola; Fabio Martinelli; Ilaria Matteucci; Paolo Mori (ERCIM News, 2023)