- Pino, L., Spanoudakis, G., Krotsiani, M. and Mahbub, K. (2020). Pattern-Based Design and Verification of Secure Service Compositions. IEEE Transactions on Services Computing, 13(3), pp. 515–528. doi:10.1109/tsc.2017.2690430.
- Krotsiani, M., Spanoudakis, G. and Kloukinas, C. (2015). Monitoring-Based Certification of Cloud Service Security. pp. 644–659. doi:10.1007/978-3-319-26148-5_44.
- Krotsiani, M. and Spanoudakis, G. (2014). Continuous Certification of Non-repudiation in Cloud Storage Services. 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications. doi:10.1109/trustcom.2014.122.
- Krotsiani, M., Spanoudakis, G. and Mahbub, K. (2013). Incremental certification of cloud services. SECURWARE 2013 - 7th International Conference on Emerging Security Information, Systems and Technologies pp. 72–80.
London EC1V 0HB
Maria Krotsiani is a Lecturer in Cloud Computing at City, University of London and a member of the Centre of Adaptive Computing Systems (CeNACS). She holds a BSc degree in Digital Systems (University of Piraeus), an MSc degree in Business System Analysis and Design (City, University of London) and a PhD in Computer Science (City, University of London). Prior to her current position, she has also worked as Business System Analyst and Developer at Eurobank in Greece, and during her PhD studies as a Researcher at the Austrian Institute of Technology (AIT) in Vienna.
Her research interests focus on cyber security, cloud computing and Big-Data Analytics, validation techniques based on formal methods and probabilistic checks, as well as continuous runtime certification of cyber systems.
She has been involved in several research projects including the EU Horizon 2020 projects CYBERSURE (CYBER Security InSURancE, 2017-20) and TOREADOR (Trustworthy mOdel-awaRE Analytics Data platfORm, 2016-2018); and the EU F7 projects CUMULUS (Certification Infrastructure for Multi-Layer Cloud Services, 2012- 2015) and SECCRIT (SEcure Cloud computing for CRitical infrastructure IT, 2013-2016) .
- PhD in Computer Science, City, University of London, United Kingdom
- MSc in Business System Analysis and Design, City, University of London, United Kingdom
- BSc in Digital Systems, University of Piraeus, Greece
Publications by category
Conference papers and proceedings (4)
- Ardagna, C.A., Damiani, E., Krotsiani, M., Kloukinas, C. and Spanoudakis, G. (2018). Big Data Assurance Evaluation: An SLA-Based Approach. 2018 IEEE International Conference on Services Computing (SCC) 2-7 July.
- Krotsiani, M., Kloukinas, C. and Spanoudakis, G. (2017). Validation of Service Level Agreements Using Probabilistic Model Checking. 2017 IEEE International Conference on Services Computing (SCC) 25-30 June.
- Krotsiani, M., Kloukinas, C. and Spanoudakis, G. (2017). Cloud Certification Process Validation Using Formal Methods.
- Hudic, A., Tauber, M., Lorunser, T., Krotsiani, M., Spanoudakis, G., Mauthe, A. … Weippl, E.R. (2014). A Multi-layer and MultiTenant Cloud Assurance Evaluation Methodology. 2014 IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom) 15-18 December.