A Multi-layer and MultiTenant Cloud Assurance Evaluation Methodology. - Aleksandar Hudic; Markus Tauber; Thomas Lorünser; Maria Krotsiani; George Spanoudakis; Andreas Mauthe; Edgar R. Weippl (CloudCom, 2014)

Continuous Certification of Non-repudiation in Cloud Storage Services. - Maria Krotsiani; George Spanoudakis (TrustCom, 2014)

Monitoring-Based Certification of Cloud Service Security. - Maria Krotsiani; George Spanoudakis; Christos Kloukinas (OTM Conferences, 2015)

Model driven certification of Cloud service security based on continuous monitoring. - Maria Krotsiani (2016)

Validation of Service Level Agreements Using Probabilistic Model Checking. - Maria Krotsiani; Christos Kloukinas; George Spanoudakis (SCC, 2017)

Cloud Certification Process Validation Using Formal Methods. - Maria Krotsiani; Christos Kloukinas; George Spanoudakis (ICSOC, 2017)

Big Data Assurance Evaluation: An SLA-Based Approach. - Claudio Agostino Ardagna; Ernesto Damiani; Maria Krotsiani; Christos Kloukinas; George Spanoudakis (SCC, 2018)

Pattern-Based Design and Verification of Secure Service Compositions. - Luca Pino; George Spanoudakis; Maria Krotsiani; Khaled Mahbub (IEEE Trans. Serv. Comput., 2020)

Big Data Assurance: An Approach Based on Service-Level Agreements. - Claudio A. Ardagna; Nicola Bena; Cédric Hébert; Maria Krotsiani; Christos Kloukinas; George Spanoudakis (Big Data, 2023)