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
  • Network software engineering
  • Techniques for network security analysis, verification and monitoring (reference person: prof. Riccardo Sisto)
  • High-speed packet processing/forwarding (reference person: prof. Fulvio Risso)
  • Time-triggered pipeline forwarding of packets (reference person: prof. Guido Marchetto)
  • Network Security Policy (reference person: Fulvio Valenza)
  • Software-defined networking
  • 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 and Contract sections contain the list of research projects and contracts of the group. All the open-source software tools developed by the NetGroup members is available here .