Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. - Lauren Labell; Jared Chandler; Kathleen Fisher (PLAS@CCS, 2020)