Can we certify systems for freedom from malware.

N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar

Browse the full ICSE paper archive.