Hardening attack surfaces with formally proven binary format parsers. - Nikhil Swamy; Tahina Ramananandro; Aseem Rastogi; Irina Spiridonova; Haobin Ni; Dmitry Malloy; Juan Vazquez; Michael Tang; Omar Cardona; Arti Gupta (PLDI, 2022)