Biblio

Export 1 results:
Filters: Author is AkvilÄ— ValentukonytÄ—  [Clear All Filters]
2022
Pirelli S, ValentukonytÄ— A, Argyraki K, Candea G.  2022.  Automated Verification of Network Function Binaries. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :585--600.