Prashant Anantharaman, Michael C. Millian, Sergey Bratus, Meredith L. Patterson: Input Handling Done Right: Building Hardened Parsers Using Language-Theoretic Security. SecDev 2017: 4-5