I'm thinking about the problem i have when I travel -- who will fix my servers if they get hacked?
I'm thinking of rewriting all the basic protocols, NOT IN C, in a much safer way. Would be great to do it with a Minimal Trusted Computing Base model, and some approximation to provable security?
Taking inspiration from FORTH creater Chuck Moore, I just want to rewrite it, simply, from scratch. Emphasis always on security, not speed or features. I can afford to run at 10% the speed of a "normal" server; my servers are well less than 10% busy.
How crazy am I? Would anyone else want a secure internet server? :)