Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples

Reference. Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples

Lauren Labell, Jared Chandler, Kathleen Fisher · PLAS · 2020 · program-synthesis · DOI

Cite

Cite as @labell-2020-automatic (helia, typst) · \cite{labell-2020-automatic} (LaTeX)

BibTeX

bibtex · 1 line

@inproceedings{labell-2020-automatic, series={PLAS ’20}, title={Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples}, url={http://dx.doi.org/10.1145/3411506.3417599}, DOI={10.1145/3411506.3417599}, booktitle={Proceedings of the 15th Workshop on Programming Languages and Analysis for Security}, publisher={ACM}, author={Labell, Lauren and Chandler, Jared and Fisher, Kathleen}, year={2020}, month=Nov, pages={25–34} }

hayagriva YAML (typst)

yaml · 19 lines

labell-2020-automatic:
  type: article
  title: Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples
  author:
  - Labell, Lauren
  - Chandler, Jared
  - Fisher, Kathleen
  date: 2020-11
  page-range: 25-34
  url: http://dx.doi.org/10.1145/3411506.3417599
  serial-number:
    doi: 10.1145/3411506.3417599
  parent:
    type: proceedings
    title: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security
    publisher: ACM
    parent:
      type: proceedings
      title: PLAS ’20

Download: labell-2020-automatic.bib · labell-2020-automatic.yml

Cites 21 works (1 here)

With notes (1)

PADS: a domain-specific language for processing ad hoc data fisher-2005-padsPLDI · 2005

PDF · DOI · pldb

External (20)

Reverse Engineering Stack Exchange (2020)
Stack Overflow (question) (2020)
Automatic wireless protocol reverse engineering (2019)
Survey of protocol reverse engineering algorithms: Decomposition of tools for static traffic analysis (2018)
A Survey of Automatic Protocol Reverse Engineering Tools (2015)
Guessing CRC checksum algorithm (Reverse Engineering Stack Exchange) (2014)
Reversing simple message + checksum pairs (32 bytes) (Reverse Engineering Stack Exchange) (2014)
Dimensions in program synthesis (2010)
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask) (2010)
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection (2010)
Tupni: automatic reverse engineering of input formats (2008)
Fuzzing: brute force vulnerability discovery (2007)
Intrusion detection via static analysis (2001)
Internet Control Message Protocol (1981)
RFC 791: Internet Protocol (1981)
A Deductive Approach to Program Synthesis (1980)
A Mathematical Theory of Communication (1948)
The minimum description length principle
Data communications, computer networks and open systems
Computer networks: a systems approach