Dominique Devriese, Frank Piessens. Noninterference through Secure Multi-execution. In 31st IEEE Symposium on Security and Privacy, S&P 2010, 16-19 May 2010, Berleley/Oakland, California, USA. pages 109-124, IEEE Computer Society, 2010. [doi]
Abstract is missing.