We have a breakthrough novel approach to provably detect malware injection. The key idea is to use the very insertion of the malware itself to allow for the systems to detect it. This is, in our opinion, close in spirit to the famous Heisenberg Uncertainty Principle. The attackers, no matter how clever, no matter when or how they insert their malware, change the state of the system they are attacking. This fundamental idea is a game changer. And our system does not rely on heuristics; instead, our scheme enjoys the unique property that it is proved secure in a formal and precise mathematical sense and with minimal and realistic CPU modification achieves strong provable security guarantees. Thus, we anticipate our system and formal mathematical security treatment to open new directions in software protection.
Category / Keywords: applications / Malware Detection, Provable Security, Attestation Date: received 20 Jul 2015 Contact author: vassilis zikas at gmail com Available format(s): PDF | BibTeX Citation Version: 20150721:065436 (All versions of this report) Short URL: ia.cr/2015/728 Discussion forum: Show discussion | Start new discussion