Ryan Beckett, Aarti Gupta. Katra: Realtime Verification for Multilayer Networks. In Amar Phanishayee, Vyas Sekar, editors, 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, Renton, WA, USA, April 4-6, 2022. pages 617-634, USENIX Association, 2022. [doi]
@inproceedings{BeckettG22,
title = {Katra: Realtime Verification for Multilayer Networks},
author = {Ryan Beckett and Aarti Gupta},
year = {2022},
url = {https://www.usenix.org/conference/nsdi22/presentation/beckett},
researchr = {https://researchr.org/publication/BeckettG22},
cites = {0},
citedby = {0},
pages = {617-634},
booktitle = {19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, Renton, WA, USA, April 4-6, 2022},
editor = {Amar Phanishayee and Vyas Sekar},
publisher = {USENIX Association},
isbn = {978-1-939133-27-4},
}