Just as a follow up to this, the proof files are now available here <https://github.com/kmilner/TLS13Tamarin/commit/06f0c2a96e46444675573cfd0979f68d9661b3ab>.
These results are under the stronger model of a Dolev-Yao attacker with the ability to reveal long term keys (for certificates). Stronger results and write-up are still works-in-progress. Regards, Jonathan On Thu, 2 Jul 2020 at 15:20, Jonathan Hoyland <jonathan.hoyl...@gmail.com> wrote: > Hi All, > > For those interested, I've been working on a formal analysis of DCs the > results of which should appear online in the next few days. > I'll post to the list when it's up. > > In summary I managed to prove a server only version of DCs secure (i.e. > does not violate any of the properties in Appendix E.1) under the Dolev-Yao > model without resumption, and work on a more general result is ongoing. > > Regards, > > Jonathan > > On Mon, 29 Jun 2020 at 16:59, Joseph Salowey <j...@salowey.net> wrote: > >> This is the second working group last call for Delegated Credentials for >> TLS. The latest draft can be found here: >> https://tools.ietf.org/html/draft-ietf-tls-subcerts-09. There have been >> 2 revisions since the last review. Draft 8 contains changes that were not >> committed in time for draft 7 and draft 9 contains revisions from the >> previous WGLC. Links to the Diffs between the draft 9 and draft 7 can be >> found at the end of this message. Please focus your review on the changes >> between draft 7 and draft 9. Please send your comments to the list by July >> 13, 2020. >> >> Thanks, >> >> Sean and Joe >> >> [Inline Diff] >> https://tools.ietf.org/rfcdiff?difftype=--hwdiff&url2=draft-ietf-tls-subcerts-09.txt&url1=draft-ietf-tls-subcerts-07.txt >> [Side-by-side Diff] >> https://tools.ietf.org/rfcdiff?url2=draft-ietf-tls-subcerts-09.txt&url1=draft-ietf-tls-subcerts-07.txt >> >> _______________________________________________ >> TLS mailing list >> TLS@ietf.org >> https://www.ietf.org/mailman/listinfo/tls >> >
_______________________________________________ TLS mailing list TLS@ietf.org https://www.ietf.org/mailman/listinfo/tls
