End-to-end verification of information-flow security for C and assembly programs.

David Costanzo, Zhong Shao, Ronghui Gu

Browse the full PLDI paper archive.