Research at Netgroup

This page contains information related to the research activities in the Networking Group (NetGroup). The main research topics are related to:

  • Formal methods/verification (reference person: prof. Riccardo Sisto)
  • Communication protocol engineering (reference person: prof. Claudio Casetti)
  • Software-defined networking (reference person: prof. Guido Marchetto)
  • High-speed packet processing/forwarding (reference person: prof. Fulvio Risso)
  • Machine learning-based network management (reference person: dott. Alessio Sacco)
  • Techniques for network security analysis, verification and monitoring (reference person: prof. Riccardo Sisto)
  • Network security policy (reference person: dott. Fulvio Valenza)
  • Network security automation (reference person: dott. Daniele Bringhenti)
  • Network functions virtualization

The official database of the all papers published in the NetGroup is available at IRIS. Publications of the NetGroup staff can be found in the People page.

The Projects section contains the list of current and past research projects of the group. All the open-source software tools developed by the NetGroup members is available here .