Venue. PLAS Workshop on Programming Languages and Analysis for Security · Workshop · ACM 2020 Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples labell-2020-automaticPLAS · 2020 DOI