Automated Verification of Network Function Binaries - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Solal Pirelli' in GoogleThis author has not been identified. Look up 'Akvile Valentukonyte' in GoogleThis author has not been identified. Look up 'Katerina J. Argyraki' in GoogleThis author has not been identified. Look up 'George Candea' in Google

runs on WebDSL