On Wed, May 1, 2019 at 2:50 AM Martin Rex wrote:
> It is formally provable
Everything must be accounted for as provable until it's proved unless
it's proved to be false.
Do you possess an external (academic?) reference?
--
Töma
___
TLS mailing list
Martin Thomson wrote:
> On Sat, Apr 27, 2019, at 07:29, Viktor Dukhovni wrote:
>> The sound-bite version is: first raise the ceiling, *then* the floor.
>
> Yep. We've done the ceiling bit twice now.
> Once in 2008 when we published TLS 1.2 and then in 2018
> with the publication of TLS 1.3.