Automated Verification of Network Function Binaries. - Solal Pirelli; Akvile Valentukonyte; Katerina J. Argyraki; George Candea (NSDI, 2022)