David Costanzo Zhong Shao 0001 Ronghui Gu End-to-end verification of information-flow security for C and assembly programs. 648-664 2016 PLDI https://doi.org/10.1145/2908080.2908100 https://doi.org/10.1145/2980983.2908100 conf/pldi/2016 db/conf/pldi/pldi2016.html#CostanzoSG16