Goals are what You Need
A pointer from Aaron Swartz to Professor D. J. Bernstein, who seems to be quite ambitious:
I expect this strategy to produce invulnerable computer systems: restructure programs to put almost all code into extreme sandboxes; eliminate bugs in the small volume of remaining code. I won’t be satisfied until I’ve put the entire security industry out of work.