RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers

@article{Reiher2019RecordFluxFM,
  title={RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers},
  author={Tobias Reiher and Alexander Senier and Jer{\'o}nimo Castrill{\'o}n and Thorsten Strufe},
  journal={ArXiv},
  year={2019},
  volume={abs/1910.02146}
}
  • Tobias Reiher, Alexander Senier, +1 author Thorsten Strufe
  • Published 2019
  • Computer Science
  • ArXiv
  • Various vulnerabilities have been found in message parsers of protocol implementations in the past. Even highly sensitive software components like TLS libraries are affected regularly. Resulting issues range from denial-of-service attacks to the extraction of sensitive information. The complexity of protocols and imprecise specifications in natural language are the core reasons for subtle bugs in implementations, which are hard to find. The lack of precise specifications impedes formal… CONTINUE READING

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 17 REFERENCES