Roberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla. Preventing Information Leaks through Shadow Executions. In Twenty-Fourth Annual Computer Security Applications Conference, ACSAC 2008, Anaheim, California, USA, 8-12 December 2008. pages 322-331, IEEE Computer Society, 2008. [doi]
Abstract is missing.