A set of ROS2 drivers for transport-layer protocols.

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

Source code for 5G MPTCP Transport Converter

A Reliable application layer built over the unreliable UDP, using two different algorithms: Stop And Wait (rdt 3.0) and Go Back N.

Project To Design a Custom Protocol I call ETP for usage in extreme network environments such as those struck by disaster or war

Academic project using Python to simulate the transport layer of the OSI model of networks.

Some interesting short projects developed as a part of Operating Systems and Networks courses at IIT KGP including: P2P Chat, Transport Layer Protocol and linux shell

rdt3.0 : Reliable Data Transfer. A transport layer protocol that form the basis of TCP

This C++ Server-Client application efficiently routes UDP messages to TCP subscribers using I/O multiplexing with poll. Key features include robust binary protocol parsing (Int, Float, String) and advanced Wildcard subscription logic (+, *). It ensures low-latency delivery, real-time feedback, and full compliance with the assignment protocol.

Códigos usados para auxiliar na monitoria de Redes de computadores

Mirror of restricted university repository. A congestion control algorithm prototype based on periodic bandwidth modulation. Implemented in aioquic for a bachelor thesis.

Universidade do Minho - 3º Ano