Automated Verification of Network Function Binaries.

Solal Pirelli, Akvile Valentukonyte, Katerina J. Argyraki, George Candea

Browse the full NSDI paper archive.