In support of this draft, some basic formal analysis of a widely-used
variant of attested TLS (namely Intel's RA-TLS) has already been done
[1]. Unfortunately, Intel did not specify any properties. Also, RFC9334
is super vague about security properties. We, therefore, kindly ask the
WG for feed
{Reposted with correct URL.}
\> The TLS WG has requested a two hour session slot at IETF 121 [0]; we are not
yet sure of the timing. For planning purposes, the chairs would like to solicit
input from the WG for agenda topics. Please send your agenda topics request and
an estimate for how much t
> The TLS WG has requested a two hour session slot at IETF 121 [0]; we are not
> yet sure of the timing. For planning purposes, the chairs would like to
> solicit input from the WG for agenda topics. Please send your agenda topics
> request and an estimate for how much time you will need to
> t
