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

Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment. - Tiziano Marinaro; Fabio Martinelli; Francesco Mercaldo; Antonella Santone (KES, 2021)

Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. - Tiziano Marinaro; Pablo Buiras; Andreas Lindner; Roberto Guanciale; Hamed Nemati (AsiaCCS, 2024)