Automatic Design Space Exploration of Redundant Architectures. - Antonio Tierno; Giuliano Turri; Alessandro Cimatti; Roberto Passerone (ApplePies, 2021)

Symbolic Encoding of Reliability for the Design of Redundant Architectures. - Antonio Tierno; Giuliano Turri; Alessandro Cimatti; Roberto Passerone (ICPS, 2022)

Mollywood: Subtitles as an attack vector. - Elham Arshad; Giuliano Turri; Bruno Crispo (ISCC, 2022)