Research on trustworthy and secure AI at the RETIS Lab, SSSUP. - Giulio Rossolini; Wesam Abbasi; Federico Nesti; Andrea Saracino; Alessandro Biondi 001; Giorgio C. Buttazzo (Ital-IA, 2025)