Katra: Realtime Verification for Multilayer Networks.

Ryan Beckett, Aarti Gupta

Browse the full NSDI paper archive.