Thanks for posting this.
This article is about how to make 100% provable secure computerprograms and apps.
Tauchain and Agoras could also help the security of ethereum and future DAO initiatives.
If you know any other security enhancing technology then please post it here on Steem.
(I upvoted the article.)