Very nice. My professor at the University once told us, that regarding Security, the Computer Science failed in one thing: while we have lot of proofs that bricks are safe and secure, we still cannot guarantee that the house built using those bricks will be safe and secure too. Basically, we do not have simple techniques how to connect the bricks together, how to use glue in the way that we do not affect their security. There are lot of formal proofs using Turing machines and finite-state automata, but we lack of proofs for the computers and software we use on daily basis.