Biblio

Singha R, Mondal R, Beckett R, Kakarla SKesava Red, Millstein T, Varghese G.  2024.  MESSI: Behavioral Testing of BGP Implementations. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :1009--1023.

• Google Scholar
• DBLP
• BibTeX

Kakarla SKesava Red, Beckett R, Millstein T, Varghese G.  2022.  SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :307--323.

• Google Scholar
• DBLP
• BibTeX

Kakarla SKesava Red, Tang A, Beckett R, Jayaraman K, Millstein T, Tamir Y, Varghese G.  2020.  Finding Network Misconfigurations by Automatic Template Inference . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :999--1013.

• Google Scholar
• DBLP
• BibTeX