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
  • Communication protocol engineering
  • Network software engineering
  • Techniques for network security analysis, verification and monitoring
  • High-speed packet processing/forwarding
  • Time-triggered pipeline forwarding of packets
  • 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 .