Periodic Reporting for period 1 - SafeNet (Safe Networks using P4 Programs)

SafeNet aims to help operators run performant, robust datacenter networks. The project's starting point was network verification of P4 programs developed in the CORNET ERC project, with the goal of transitioning the academic research into real network verification products...