Antonio Maña Gómez Associate Professor 952 137 142 amana@uma.es Personal Website Critical Infrastructures, Public Safety and Smart City Digital Forensics and Malware Analysis Model based Specification, Analysis and Testing Security and Privacy in Critical Services and Networks