N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar. Can we certify systems for freedom from malware. In Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel, editors, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010. pages 175-178, ACM, 2010. [doi]
Abstract is missing.