How about security through compartmentalization instead of one through correctness that never really works? Consider using Qubes OS to protect yourself.