Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples labell-2020-automaticPLAS · 2020