TY  - RPRT
TI  - 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
AU  - Sarah Fakhoury
AU  - Markus Kuppe
AU  - Shuvendu K. Lahiri
AU  - Tahina Ramananandro
AU  - Nikhil Swamy
PY  - 2024
UR  - https://arxiv.org/abs/2404.10362
ID  - 2404.10362
ER  -