Solal Pirelli, Akvile Valentukonyte, Katerina J. Argyraki, George Candea. Automated Verification of Network Function Binaries. 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 585-600, USENIX Association, 2022. [doi]
Abstract is missing.