@misc{indiciae4aa0acc37ff8,
  title = {Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats},
  author = {Benjamin Delaware and Sorawit Suriyakarn and Clément Pit--Claudel and Qianchuan Ye and Adam Chlipala},
  year = {2019},
  url = {https://arxiv.org/abs/1803.04870},
  note = {Source identifier: 1803.04870}
}