@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} }