Serena Spinoso

Ph.D. in Ingegneria Informatica E Dei Sistemi , 29th cycle (2014-2016)

Ph.D. obtained in 2017

Dissertation:

Verification and Configuration of Software-based Networks

Tutors:

Riccardo Sisto

Teaching

Teachings

Master of Science

MostraNascondi A.A. passati

Bachelor of Science

  • Computer networks. A.A. 2014/15, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
  • Computer networks. A.A. 2015/16, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
  • Computer networks. A.A. 2016/17, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
  • Reti di calcolatori. A.A. 2014/15, INGEGNERIA DELLE TELECOMUNICAZIONI. Collaboratore del corso
  • Reti di calcolatori. A.A. 2015/16, INGEGNERIA DELLE TELECOMUNICAZIONI. Collaboratore del corso
  • Reti di calcolatori. A.A. 2016/17, INGEGNERIA DELLE TELECOMUNICAZIONI. Collaboratore del corso
MostraNascondi A.A. passati

Publications

Works published during the Ph.D. View all publications in Porto@Iris

  • Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco (2017)
    A formal approach for network security policy validation. In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS, vol. 8, pp. 79-100. ISSN 2093-5374
    Contributo su Rivista
  • Spinoso, Serena (2017)
    Verification and Configuration of Software-based Networks. relatore: Sisto R., 29. XXIX Ciclo, P.: 118
    Doctoral Thesis
  • Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio (2015)
    A Formal Model of Network Policy Analysis. In: RTSI 2015 - First International Forum on Research and Technologies for Society and Industry, Torino, Italy, 16-18 September 2015, pp. 516-522. ISBN: 978-1-4673-8166-6
    Contributo in Atti di Convegno (Proceeding)
  • Spinoso, Serena; Virgilio, Matteo; John, Wolfgang; Manzalini, Antonio; Marchetto, Guido; ... (2015)
    Formal verification of Virtual Network Function graphs in an SP-DevOps context. In: European Conference on Service-Oriented and Cloud Computing (ESOCC), Taormina, Italy, 15-17 September 2015, pp. 253-262. ISBN: 978-3-319-24071-8
    Contributo in Atti di Convegno (Proceeding)
  • Spinoso, Serena; Leogrande, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Singh, S.; Sisto, ... (2014)
    Automatic Configuration of Opaque Network Functions in CMS. In: 1st International Workshop on Network Virtualization and Software-Defined Networks for Cloud Data Centres (NVSDN 2014), London, UK, 8-11 December, 2014, pp. 750-755
    Contributo in Atti di Convegno (Proceeding)