CITATION — REFERENCE ENTRY
protocol-lifting-results · shi2023protocol
- Citation
- shi2023protocol
- Claim ID
- protocol-lifting-results
- Assertion
- Protocol lifting via static analysis using the abstract format graph achieves >95% precision and recall in inferring protocol formats in under one minute, and substantially enhances protocol fuzzers, improving code coverage by 20–260% and discovering 53 zero-day vulnerabilities with 47 assigned CVEs.
- Quote
Our evaluation shows that we can infer formats for a protocol in one minute with >95% precision and recall, much better than four baseline techniques. Our inferred formats can substantially enhance existing protocol fuzzers, improving the coverage by 20% to 260% and discovering 53 zero-days with 47 assigned CVEs.
- Quote language
- en
- Locator
- section: Abstract
Available in