Antonios Gouglidis

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 35

Top Topics

Intrusion Detection

Formal Verification

Critical Infrastructure

Top Venues

Publications

Ovini V. W. Gunasekera, Andrew Sogokon, Antonios Gouglidis, Neeraj Suri
Real Arithmetic in TLAPM. NFM (2024)
Arash Bozorgchenani, Charilaos C. Zarakovitis, Su Fong Chien, Qiang Ni, Antonios Gouglidis, Wissam Mallouli, Heng Siong Lim
Intrusion Response Systems for the 5G Networks and Beyond: A New Joint Security-vs-QoS Optimization Approach. IEEE Trans. Netw. Sci. Eng. 11 (3) (2024)
Salman Manzoor, Antonios Gouglidis, Matthew Bradbury, Neeraj Suri
Enabling Multi-Layer Threat Analysis in Dynamic Cloud Environments. IEEE Trans. Cloud Comput. 12 (1) (2024)
Arash Bozorgchenani, Charilaos C. Zarakovitis, Su Fong Chien, Qiang Ni, Antonios Gouglidis, Wissam Mallouli, Heng Siong Lim
Joint Security-vs-QoS Game Theoretical Optimization for Intrusion Response Mechanisms for Future Network Systems. CoRR (2023)
Igor Ivkic, Dominik Thiede, Nicholas J. P. Race, Matthew Broadbent, Antonios Gouglidis
A Security Evaluation Framework for Software-Defined Network Architectures in Data Center Environments. CoRR (2023)
Igor Ivkic, Dominik Thiede, Nicholas J. P. Race, Matthew Broadbent, Antonios Gouglidis
A Security Evaluation Framework for Software-Defined Network Architectures in Data Center Environments. CLOSER (2023)
Antonios Gouglidis, Anna Kagia, Vincent C. Hu
Model Checking Access Control Policies: A Case Study using Google Cloud IAM. CoRR (2023)
Ebtisaam Alharbi, Leandro Soriano Marcolino, Antonios Gouglidis, Qiang Ni
Robust Federated Learning Method Against Data and Model Poisoning Attacks with Heterogeneous Data Distribution. ECAI (2023)
Armin Stocker, Ali Alshawish, Martin C. Bor, John Vidler, Antonios Gouglidis, Andrew Scott, Angelos K. Marnerides, Hermann de Meer, David Hutchison
An ICT architecture for enabling ancillary services in Distributed Renewable Energy Sources based on the SGAM framework. Energy Inform. 5 (2022)
Salman Manzoor, Antonios Gouglidis, Matthew Bradbury, Neeraj Suri
Poster: Multi-Layer Threat Analysis of the Cloud. CCS (2022)
Arash Bozorgchenani, Charilaos C. Zarakovitis, Su Fong Chien, Heng Siong Lim, Qiang Ni, Antonios Gouglidis, Wissam Mallouli
Joint Security-vs-QoS Framework: Optimizing the Selection of Intrusion Detection Mechanisms in 5G networks. ARES (2022)
Alexander Staves, Tom Anderson, Harry Balderstone, Benjamin Green, Antonios Gouglidis, David Hutchison
A Cyber Incident Response and Recovery Framework to Support Operators of Industrial Control Systems. Int. J. Crit. Infrastructure Prot. 37 (2022)
Salman Manzoor, Antonios Gouglidis, Matthew Bradbury, Neeraj Suri
ThreatPro: Multi-Layer Threat Analysis in the Cloud. CoRR (2022)
Igor Ivkic, Patrizia Sailer, Antonios Gouglidis, Andreas Mauthe, Markus Tauber
A Security Cost Modelling Framework for Cyber-Physical Systems. ACM Trans. Internet Techn. 22 (2) (2022)
Salman Manzoor, Antonios Gouglidis, Matthew Bradbury, Neeraj Suri
Poster: Effectiveness of Moving Target Defense Techniques to Disrupt Attacks in the Cloud. CCS (2022)
Patrizia Sailer, Igor Ivkic, Markus Tauber, Andreas Mauthe, Antonios Gouglidis
Analysing Design Approaches for the Power Consumption in Cyber-Physical Systems. IM (2021)
Patrizia Sailer, Igor Ivkic, Markus Tauber, Andreas Mauthe, Antonios Gouglidis
Analysing Design Approaches for the Power Consumption in Cyber-Physical Systems. CoRR (2021)
Igor Ivkic, Patrizia Sailer, Antonios Gouglidis, Andreas Mauthe, Markus Tauber
A Security Cost Modelling Framework for Cyber-Physical Systems. CoRR (2021)
Christos Grompanopoulos, Antonios Gouglidis, Anastasia Mavridou
. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Anish Jindal, Jakob Kronawitter, Ramona Kühn, Martin C. Bor, Hermann de Meer, Antonios Gouglidis, David Hutchison, Angelos K. Marnerides, Andrew Scott, Andreas Mauthe
A flexible ICT architecture to support ancillary services in future electricity distribution networks: an accounting use case for DSOs. Energy Inform. 3 (1) (2020)
Sarandis Mitropoulos, Antonios Gouglidis, Vasileios Giotsas
A categorisation of policy conflicts in distributed systems and network management. Int. J. Inf. Priv. Secur. Integr. 4 (4) (2020)
Alexander Staves, Harry Balderstone, Benjamin Green, Antonios Gouglidis, David Hutchison
A Framework to Support ICS Cyber Incident Response and Recovery. ISCRAM (2020)
Anish Jindal, Angelos K. Marnerides, Antonios Gouglidis, Andreas Mauthe, David Hutchison
Communication Standards for Distributed Renewable Energy Sources Integration in Future Electricity Distribution Networks. ICASSP (2019)
Antonios Gouglidis, Benjamin Green, David Hutchison, Ali Alshawish, Hermann de Meer
Surveillance and security: protecting electricity utilities and other critical infrastructures. Energy Inform. 1 (1) (2018)
Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. MeTRiD@ETAPS (2018)
Antonios Gouglidis, Vincent C. Hu, Jeremy Busby, David Hutchison
Verification of Resilience Policies that Assist Attribute Based Access Control. ABAC@CODASPY (2017)
William Knowles, Jose M. Such, Antonios Gouglidis, Gaurav Misra, Awais Rashid
All That Glitters Is Not Gold: On the Effectiveness of Cybersecurity Qualifications. Computer 50 (12) (2017)
Syed Noorulhassan Shirazi, Antonios Gouglidis, Arsham Farshad, David Hutchison
The Extended Cloud: Review and Analysis of Mobile Edge Computing and Fog From a Security and Resilience Perspective. IEEE J. Sel. Areas Commun. 35 (11) (2017)
Syed Noorulhassan Shirazi, Steven Simpson, Antonios Gouglidis, Andreas Mauthe, David Hutchison
Anomaly Detection in the Cloud Using Data Density. CLOUD (2016)
Antonios Gouglidis, Syed Noorulhassan Shirazi, Steven Simpson, Paul Smith, David Hutchison
A multi-level approach to resilience of critical infrastructures and services. ICT (2016)
Jerry S. Busby, Antonios Gouglidis, Stefan Rass, Sandra König
Modelling security risk in critical utilities: The system at risk as a three player game and agent society. SMC (2016)
Carmen Mas Machuca, Stefano Secci, Petra Vizarreta, Fernando A. Kuipers, Antonios Gouglidis, David Hutchison, Simon Jouet, Dimitrios Pezaros, Ahmed Elmokashfi, Poul E. Heegaard, Sasko Ristov, Marjan Gusev
Technology-related disasters: A survey towards disaster-resilient Software Defined Networks. RNDM (2016)
Jose M. Such, Antonios Gouglidis, William Knowles, Gaurav Misra, Awais Rashid
Information assurance techniques: Perceived cost effectiveness. Comput. Secur. 60 (2016)
Antonios Gouglidis, Benjamin Green, Jeremy Busby, Mark Rouncefield, David Hutchison, Stefan Schauer
Threat awareness for critical infrastructures resilience. RNDM (2016)
Ioannis M. Stephanakis, Syed Noor-ul-Hassan Shirazi, Antonios Gouglidis, David Hutchison
A Multi-commodity Network Flow Model for Cloud Service Environments. EANN (2016)
William Knowles, Jose M. Such, Antonios Gouglidis, Gaurav Misra, Awais Rashid
Assurance Techniques for Industrial Control Systems (ICS). CPS-SPC@CCS (2015)
Antonios Gouglidis, Ioannis Mavridis, Vincent C. Hu
Security policy verification for multi-domains in cloud systems. Int. J. Inf. Sec. 13 (2) (2014)
Antonios Gouglidis, Ioannis Mavridis, Vincent C. Hu
Verification of Secure Inter-operation Properties in Multi-domain RBAC Systems. SERE (Companion) (2013)
Antonios Gouglidis, Ioannis Mavridis
A Methodology for the Development and Verification of Access Control Systems in Cloud Computing. I3E (2013)
Christos Grompanopoulos, Antonios Gouglidis, Ioannis Mavridis
A Use-Based Approach for Enhancing UCON. STM (2012)
Antonios Gouglidis, Ioannis Mavridis
domRBAC: An access control model for modern collaborative systems. Comput. Secur. 31 (4) (2012)
Antonios Gouglidis, Ioannis Mavridis
Role-Based Secure Inter-operation and Resource Usage Management in Mobile Grid Systems. WISTP (2011)
Antonios Gouglidis, Ioannis Mavridis
On the Definition of Access Control Requirements for Grid and Cloud Computing Systems. GridNets (2009)
Antonios Gouglidis, Ioannis Mavridis
A Foundation for Defining Security Requirements in Grid Computing. Panhellenic Conference on Informatics (2009)