This site uses third-party cookies: by using the site, you consent the use of cookies.

If you not change browser settings, you agree to it. Learn more

I understand

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 PORTO.

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.