cybersure cybersure

Deliverables

 

Papers

  • Krotsiani, M., Kloukinas, C., & Spanoudakis, G. (2017, November). Cloud Certification Process Validation Using Formal Methods. In International Conference on Service-Oriented Computing (pp. 65-79). Springer, Cham.
  • Pino, L., Spanoudakis, G., Krotsiani, M., & Mahbub, K. (2017). Pattern Based Design and Verification of Secure Service Compositions. IEEE Transactions on Services Computing.
  • Marotta, A., Martinelli, F., Nanni, S., Orlando, A., & Yautsiukhin, A. (2017). Cyber-insurance survey. Computer Science Review.
  • Martinelli, F. , Orlando, A., Uuganbayar, G., & Yautsiukhin. A. (2017). Preventing the drop in security investments for non-competitive cyber-insurance market. In proceedings of 12th International Conference on Risks and Security of Internet and Systems.
  • Petroulakis, N. E., Spanoudakis, G., & Askoxylakis, I. (2017). Fault Tolerance Using an SDN Pattern Framework. Proceedings of the IEEE Global Communications Conference 2017, 4-8 Dec 2017, Singapore.