Francesco Flammini received, with honors, his laurea (2003) and doctorate (2006) degrees in computer engineering from the University Federico II of Naples. Since October 2003, he has worked in Ansaldo STS (Finmeccanica) on the safety and security of rail-based transportation infrastructures. He has taught computer science and software engineering as an adjunct professor at the University of Naples, as well as seminars on computer dependability and critical infrastructure protection in postdegree courses on homeland security. He has coauthored several books and more than 50 scientific papers published in international journals and conference proceedings. He has served as the chairman, a PC member, and an editor for several international conferences and journals. He is a senior member of the IEEE, an ACM Distinguished Speaker, and the vicechair of the IEEE Computer Society Italy Chapter. He is also a member of the European Workshop on Industrial Computer Systems Reliability, Safety and Security (EWICS TC7), FME (Formal Methods Europe), ERCIM WG on Formal Methods for Industrial Critical Systems (FMICS), ESRA TC on Operational Safety & Security of Interconnected Critical Infrastructures, and IEEE SMC TC on Homeland Security.Roberto Setola obtained his master of science in electronic engineering (1992) and PhD in electronic engineering and computer science (1996) from the University of Naples Federico II. He currently serves as a professor of automatic control at University CAMPUS BioMedico and head of the COSERITY Lab (Complex Systems & Security Lab). He is also the director of the master's program for Homeland security, systems and methods and tools for security and crisis management. Formerly a member of the Italian Prime Minister's Office (1999-2004), Setola was the coordinator of the working group on critical information infrastructure protection established by the Italian Prime Minister (2003-2004), a