TY  - RPRT
TI  - Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats
AU  - Benjamin Delaware
AU  - Sorawit Suriyakarn
AU  - Clément Pit--Claudel
AU  - Qianchuan Ye
AU  - Adam Chlipala
PY  - 2019
UR  - https://arxiv.org/abs/1803.04870
ID  - 1803.04870
ER  -