[Cryptography] Security proofs prove non-failproof

[Perry E. Metzger]

On Tue, 21 Feb 2017 21:16:19 +0000
Ben Laurie <ben at links.org> wrote:
> My understanding is that Peter is correct, and none of them run seL4.
> Its a popular misconception.

Then I stand corrected. (That said, there _are_ commercial users of
seL4, though it is clearly not a popular platform as a fraction of
deployed systems.)

> OTOH, I think formal methods really are becoming useful.

And there we agree.

Perry