It will be an interesting race... I do think that it'll be easier to find vulnerabilities than to design systems that are provably secure. It's like evaluating

It will be an interesting race... I do think that it'll be easier to find vulnerabilities than to design systems that are provably secure. It's like evaluating a function f(x) vs finding the values of x for which f(x) = 0.