Nice to imagine a software which can openly tease the entire hacking community, isn’t it? And such a software is now available courtesy of the Open Kernel Labs which has named it “seL4”. It is basically a micro-kernel (or an Operating system kernel) which restricts access to your hardware based on preferences. The software identifies who is genuine and who is not; in technical terms which software is a malware and which is not.
seL4 has been mathematically proven to operate without glitches even after being implemented. Will it be able to stop malicious programs or not, time will be the best judge. But if it does succeed what I believe would be the start of another generation of anti-virus mechanism which would be far more advanced than what anti-virus can do today. It would become a secure platform for Banks and Stock markets to run without the fear of hacking and malware. However the technology might take time to become available for general use and till then we shall need to rely on our present anti-virus software only 
Refer to the post written about 3 Antivirus software available for FREE if you are still not sure about which Anti-virus to use for your computer. Also let me know if you feel such a Hack-free system is possible or is it just an assumption which might fail badly! Waiting for you to shoot comments.
Official Link: Open Kernel Labs
2 Comments
hmmm cool also read somewhere in a security forum and its developed in australia
Yes, the Open Kernel Labs is an Australian Research unit.