[Cryptography] Security proofs prove non-failproof

[Peter Gutmann]

Phillip Hallam-Baker <phill at hallambaker.com> writes:

>To give an example. TLS ephemeral key agreement is botched. The results from
>the master key agreement are not fed into the ephemeral. 

Can you provide some more details on what you're complaining about here?
Since the ephemeral key agreement output is fed into the master secret (you
can't go the other way round), this is a tautology.

Peter.