@misc{indiciae118d9e6845f3,
  title = {RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers},
  author = {Tobias Reiher and Alexander Senier and Jeronimo Castrillon and Thorsten Strufe},
  year = {2019},
  url = {https://arxiv.org/abs/1910.02146},
  note = {Source identifier: 1910.02146}
}