Matteo Virgilio
Polytechnic University of Turin
11 Papers
43 Citations
Matteo Virgilio is an academic researcher from Polytechnic University of Turin. The author has contributed to research in topics: Formal verification & Virtual network. The author has an hindex of 5, co-authored 11 publications.
Chat about Author
Papers
Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context
Serena Spinoso,Matteo Virgilio,Wolfgang John,Antonio Manzalini,Guido Marchetto,Riccardo Sisto +5 more
- 15 Sep 2015
TL;DR: This paper focuses on the verification process as part of the challenging tasks that must be addressed in this scenario and its fundamental role of automatically checking some desired network properties before deploying a particular configuration.
Push applications and dynamic content generation over content‐centric networking
TL;DR: This work identifies the functions that a data‐centric architecture should support and proposes and compares the solution with the state of the art framework designed for the specific problem of pushing data to content requesters, and evaluates their performance in terms of traffic generated and scalability achieved by simulating a real Internet Service Provider (ISP) topology and the realistic workload of a generic social network application.
28
A Framework for User-Friendly Verification-Oriented VNF Modeling
Guido Marchetto,Riccardo Sisto,Matteo Virgilio,Jalolliddin Yusupov +3 more
- 01 Jul 2017
TL;DR: A framework for automatically extracting verification models starting from a Java based representation of a given VNF, which comprises a Java library of classes to define VNFs in a more developer-friendly way, and a tool to translate VNF definitions into formal verification models of different verification tools.
7
Interest Flooding Attack Countermeasures Assessment on Content Centric Networking
Matteo Virgilio,Guido Marchetto,Riccardo Sisto +2 more
- 13 Apr 2015
TL;DR: This work confirms the possibility of mounting distributed denial of service attacks, commonly known as Interest Flooding Attack (IFA), and assess the behavior of state of the art tools designed to mitigate this problem.
5
An efficient data exchange mechanism for chained network functions
Ivano Cerrato,Guido Marchetto,Fulvio Risso,Riccardo Sisto,Matteo Virgilio,Roberto Bonafiglia +5 more
TL;DR: The algorithm that manages the data exchanges is validated by performing a formal verification of its main safety and security properties, and an extensive functional and performance evaluation is presented.
5