More wishes
Rigorous formal cryptographic protocol design and verification
Rigorous TCB in modern kernels, compilers, etc
- If this were easy, it would have been done by now
- Of course, it has been done
Hardware support for non-executable stack, etc.
- Dreams of Burroughs machines?