Lauren Labell, Jared Chandler, Kathleen Fisher. Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. In Alley Stoughton, Marco Vassena, editors, PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020. pages 25-34, ACM, 2020. [doi]
Abstract is missing.