David Costanzo, Zhong Shao, Ronghui Gu. End-to-end verification of information-flow security for C and assembly programs. In Chandra Krintz, Emery Berger, editors, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. pages 648-664, ACM, 2016. [doi]
Abstract is missing.