Feihui Li, Guilin Chen, Mahmut T. Kandemir, Richard R. Brooks: A Compiler-Based Approach to Data Security. CC 2005: 188-203