Internet Archive Scholar
Filters
























1 Hit in 1.3 sec

PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles

Hyungsub Kim, Muslum Ozgur Ozmen, Antonio Bianchi, Z. Berkay Celik, Dongyan Xu
2021 Proceedings 2021 Network and Distributed System Security Symposium   unpublished

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (6.7 MB)
https://web.archive.org/web/20210314194958/https://www.ndss-symposium.org/wp-content/uploads/ndss2021_6A-1_24096_paper.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

PGFUZZ includes three interconnected components: (1) Pre-Processing, (2) Policy-Guided Fuzzing, and (3) Bug Post-Processing.  ...  PGFUZZ expresses desired policies through temporal logic formulas with time constraints as a guide to fuzz the analyzed system.  ...  CONCLUSIONS We introduce PGFUZZ, a policy-guided fuzzing framework, which leverages policies represented by temporal logic with timing constraints to find bugs in robotic vehicle control software.  ... 
doi:10.14722/ndss.2021.24096 fatcat:eihty35vivc5bba7jsis2atwpu
Citation

Hyungsub Kim, Muslum Ozgur Ozmen, Antonio Bianchi, Z. Berkay Celik, Dongyan Xu. "PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles." Proceedings 2021 Network and Distributed System Security Symposium (2021)