Giovanni Russello, Mauro Conti, Bruno Crispo, Earlence Fernandes, Yury Zhauniarovich. Demonstrating the effectiveness of MOSES for separation of execution modes. In Ting Yu, George Danezis, Virgil D. Gligor, editors, the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012. pages 998-1000, ACM, 2012. [doi]
Abstract is missing.