To be fair, formally proving that it contains no buffer overruns, timing differences, or memory access differences does make it immune to many/most of the stand

To be fair, formally proving that it contains no buffer overruns, timing differences, or memory access differences does make it immune to many/most of the standard hacking vulnerabilities.