Good Network Updates for Bad Packets
Arne Ludwig, Matthias Rost, Damien Foucard, Stefan Schmid · 2014
Networks are critical for the security of many computer systems. However, their complex and asynchronous nature often renders it difficult to formally reason about network behavior. Accordingly, it is challenging to provide correctness guarantees, especially during network updates.