● Researched strategies to automatically verify the implementation of routing protocols and

detect bugs without the need for human intervention

● Implemented Docker containers as virtual networks of routers as a means to research the

effects that bugs within routing protocols have in terms of networks outages

● Built a tool with Python which uses information logged by routers and control packets to verify that

OSPF rules in terms of packet verification and event verification are being followed

GitHub Link To Project: https://github.com/colgate-cs-research/protocol-verification