[Cryptography] Intel SGX: Augean stables piled higher & deeper?

[Peter Gutmann]

Henry Baker <hbaker1 at pipeline.com> writes:

>Mathematical proof?

Because all of the existing security mechanisms we use also have rigorous
mathematical proofs?

>Mathematical proof?
>Mathematical proof?
>Mathematical proof?
>Mathematical proof?
>Mathematical proof?
>Mathematical proof?
>Mathematical proof?
>Mathematical proof?
>Mathematical proof?

Can someone give the record player a bit of a thump, I think the needle's
stuck again.

Peter.