Securing a Compiler Transformation.

Chaoqiang Deng, Kedar S. Namjoshi

Browse the full SAS paper archive.