Newsletter Subscription




Publications

PRESS RELEASES

 

PAPER PRESENTATIONS

2015

  1. C. Ardagna, R. Asal, E. Damiani, Q.H. Vu.
    From Security to Assurance in the Cloud: A Survey.
    ACM Comput. Surv. 48 (1), pp. 2:1--2:50, 2015.
  2. M. Anisetti, C.A. Ardagna, E. Damiani.
    A Test-Based Incremental Security Certification Scheme for Cloud-Based Systems.
    Proc. of 2015 IEEE International Conference on Services Computing (SCC), New York, USA, 2015.
  3. M. Anisetti, C.A. Ardagna, E. Damiani, F. Gaudenzi, R. Veca.
    Toward Security and Performance Certification of Open Stack.
    Proc. of 2015 IEEE 8th International Conference on Cloud Computing (CLOUD), New York, USA, 2015.
  4. G.E. Jaramillo, C.A. Ardagna, M. Anisetti.
    A hybrid representation model for service contracts.
    Proc. of 2015 International Conference on Information and Communication Technology Research (ICTRC), Abu Dhabi, UAE, 2015.
  5. M. Krotsiani, G. Spanoudakis, C. Kloukinas.
    Monitoring Based Certification of Cloud Service Security.
    Proc. of Cloud and Trusted Computing 2015 Workshop (C&TC 2015), Rhodes, Greece, 2015 (to appear).
  6. M. Palacios, J. Garcia-Fanjul, J. Tuya, G. Spanoudakis.
    Coverage-Based Testing for Service Level Agreements.
    IEEE Transactions on Services Computing 8:2, pp. 299 - 313, 2015.
  7. M. Palacios, J. García-Fanjul, J. Tuya, G. Spanoudakis.
    Automatic test case generation for WS-Agreements using combinatorial testing.
    Computer Standards and Interfaces, 38, pp. 84-100, 2015.

 

2014

  1. J. F. Ruiz, A. Maña Gómez, M. Arjona Fernández.
    Security Patterns for Local Assurance in Cloud Applications.
    Proc. of International Workshop on Engineering Cyber Security and Resilience (ECSaR’14), Stanford, CA, USA, 2014.
  2. A. Maña Gómez, M. Arjona Fernández, R. Harjani, A. Muñoz.
    An Engineering Process to Address Security Challenges in Cloud Computing.
    Proc. of the Third ASE International Conference on Cyber Security, Stanford, CA, USA, 2014.
  3. A. Maña Gómez, M. Arjona Fernández, J. Espinar.
    Certified Service-based Coalitions Support for Development of Secure Cloud Applications.
    Proc. of International WOrkshop on Cloud Security (IWOCS 2014), Stanford, CA, USA, 2014.
  4. R. Harjani, A. Maña Gómez.
    Towards a Certified-by-design Approach for Cloud Service Development.
    Proc. of International WOrkshop on Cloud Security (IWOCS 2014), Stanford, CA, USA, 2014.
  5. J. F. Ruiz, A. Maña Gómez, M. Arjona Fernández, C. Rudolph.
    A Security Engineering Process for Systems of Systems using Security Patterns.
    Proc. of 8th Annual IEEE International Systems Conference, Canada, 2014.
  6. C.A. Ardagna, E. Damiani, F. Frati, G. Montalbano, D. Rebeccani, M. Ughetti.
    A Competitive Scalability Approach for Cloud Architectures
    Proc. of the 7th IEEE International Conference on Cloud Computing (CLOUD 2014), Anchorage, AL, USA, June--July, 2014
  7. M. Anisetti, C.A. Ardagna, P.A. Bonatti, E. Damiani, M. Faella and C. Galdi, L. Sauro
    e-Auctions for Multi-Cloud Service Provisioning
    Proc. of the 11th IEEE International Conference on Services Computing (SCC 2014), Anchorage, AL, USA, June--July, 2014
  8. C.A. Ardagna, E. Damiani, K.A.R. Sagbo, F. Frati.
    Zero-Knowledge Evaluation of Service Performance Based on Simulation.
    Proc. of the 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), Miami, FL, USA, January 2014.
  9. S. Katopodis, G. Spanoudakis, K. Mahbub.
    Towards Hybrid Cloud Service Certification Models
    Proc. of 11th IEEE International Conference on Services Computing, USA, 2014.
  10. A. Muñoz, A. Maña.
    Software and Hardware Certification Techniques in a Combined Certification Model
    11th International Conference on Security and Cryptography (SECRYPT 2014), Vienna, Austria, 2014.
  11. J. F. Ruiz, A. Muñoz, M. Arjona, A. Maña.
    Ingeniería de Seguridad de un Sistema de Medición de Consumo
    Jornadas de Computación Empotrada (JCE2014), Valladolid (Spain), 2014.
  12. A. Maña, J. F. Ruiz, M. Arjona.
    Engineering Secure and Private Systems Using COSSPs
    21st conference on Pattern Languages of Programs (PLOP14), Allerton Park in Monticello, IL (USA), 2014.
  13. A. Maña, E. Damiani, S. Gürgens, G. Spanoudakis.
    Extensions to Pattern Formats for Cyber Physical Systems
    21st conference on Pattern Languages of Programs (PLOP14), Allerton Park in Monticello, IL (USA), 2014.
  14. M.Arjona, C. Dania, M.Egea, A. Maña.
    Validation of a Security Metamodel for Development of Cloud applications
    14th International Workshop on OCL and Textual Modeling Applications and Case Studies (OCL 2014), Valencia (Spain), 2014.
  15. M. Anisetti, C. A. Ardagna, E. Damiani.
    A Certification-Based Trust Model for Autonomic Cloud Computing Systems
    The International Conference on Cloud and Autonomic Computing (CAC 2014), London, UK, 2014.
  16. A. Hudic, M. Krotsiani, M. Tauber, G. Spanoudakis, A. Mauthe.
    A Multi-Layer and Multi-Tenant Cloud Assurance Evaluation Methodology
    The 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014), Singapore, 2014.
  17. M. Egea, G. Spanoudakis, K. Mahbub, M.R. Vieira.
    A Certification Framework for Cloud Security Properties: The Monitoring Path
    Lecture Notes in Computer Science, 8937, pp. 63-77, Springer, 2014.
  18. J.F. Ruiz, A. Maña, C. Rudolph.
    An Integrated Security and Systems Engineering Process and Modelling Framework.
    The Computer Journal, 2014.
  19. R. Harjani, M.A. Fernández, J.E. Fernández, A. Maña Gómez, A. Muñoz Hoyos, H. Koshutanski.
    An Integrated Framework for Multi-layer Certification-based Assurance.
    Proc. of 8th Layered Assurance Workshop (LAW-2014), 2014.

 

2013

  1. S. Abbasi, E. Damiani, S. Cimato.
    A Scalable Multi-Party Protocol for Privacy-Preserving Equality Test.
    Advanced Information Systems Engineering Workshops, LNCS vol. 148, pp 466-477, 2013.
  2. S. Abbasi, E. Damiani, S. Cimato.
    Toward Secure Clustered Multi-Party Computation: A Privacy-Preserving Clustering Protocol.
    Information and Communication Technology, LNCS vol. 7804, pp 447-452, 2013. 
  3. A. Maña Gómez, H. Koshutanski.
    A Digital Security Certificate Framework for Services.
    International Journal of Services Computing (IJSC), 1(2), pp. 25-38, 2013.
  4. S. Cimato, E. Damiani, R. Menicocci, F. Zavatarelli
    Towards the certification of cloud services
    Proc. of IEEE 2013 International Workshop On Security and Privacy Engineering, Assurance, and Certification (SPEAC 2013), Santa Clara, CA, pp. 100-105, 2013.
  5. S. Abbasi, E. Damiani, S. Cimato.
    Clustering Models in Secure Clustered Multiparty
    Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA) 4 (2), pp.63-76, 2013.
  6. M. Krotsiani, G. Spanoudakis, K. Mahbub.
    Incremental Certification of Cloud Services
    7th Int. Conf. on Emerging Security Information, Systems and Technologies (SECURWARE 2013), Barcelona, pp. 72-80, 2013.
  7. A. Muñoz Gallego, A. Maña Gómez.
    Bridging the GAP between Software Certification and Trusted Computing for Securing Cloud Computing.
    IEEE International Workshop on Security and Privacy Engineering, Assurance, and Certification (SPEAC 2013), June, 2013.
  8. J. F. Ruiz, A. Maña Gómez, M. Arjona Fernández, Janne Paatero.
    Emergency Systems Modelling using a Security Engineering Process.
    3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Reykjavik, Iceland. July 2013.
  9. M. Montenegro, A. Maña, H. Koshutanski.
    Improving Security Assurance of Services through Certificate Profiles.
    3rd International Workshop on Adaptive Services for the Future Internet. In conjunction with ESOCC 2013. Malaga, Spain. September 2013.
  10. Jose Fran. Ruiz, M. Arjona Fernández, A. Maña Gómez, Niklas Carstens.
    Secure Engineering and Modelling of a Metering Devices System.
    Seventh International Workshop on Secure Software Engineering (SecSE 2013), Regensburg, Germany. September 2013.
  11. M. Arjona Fernández, Jose Fran. Ruiz, A. Maña Gómez.
    Un marco de trabajo para el modelado de sistemas empotrados seguros.
    IV Jornadas de Computación Empotrada (JCE 2013), Madrid, Spain. September 2013.
  12. M. Anisetti, C.A. Ardagna, M. Bezzi, E. Damiani, A. Sabetta.
    Machine-readable privacy certificates for services.
    Proc. of the International Conference on Secure Virtual Infrastructures (DOA-Trusted Cloud 2013), Graz, Austria, September 2013.
  13. M. Anisetti, C.A. Ardagna, E. Damiani.
    Security Certification of Composite Services: A Test-Based Approach.
    Proc. of the 20th IEEE International Conference on Web Services (ICWS 2013), San Francisco, CA, USA, June--July, 2013.

 

2012

  1. G. Spanoudakis, E. Damiani, A. Mana.
    Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach
    Proc. of 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE), Omaha, NE, pp. 175-176, 2012.