Antonio’s research focuses at the integration between theoretical and applied security, towards designing secure and resilient systems. He has conducted research in several aspects of security and resilience, which can be grouped under three main topics of research, namely Access Control (AC), Cloud systems and Critical Infrastructures Protection (CIP). Currently, he investigates access control requirements for the Cloud and the application of formal methods (model checking) to verify the correctness of access control policies and systems. Antonios has an active collaboration with the National Institute of Standards and Technology (NIST), Information Technology Laboratory, Computer Security Resource Center (CSRC) on access control and model checking related topics, and is co-author of NIST’s SP 800-210 “General Access Control Guidance for Cloud Systems”.