Not-quite-so-broken TLS 1.3 mechanised conformance checking (2016)

First Author: S}injak D
Attributed to:  REMS: Rigorous Engineering for Mainstream Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: TLSv1.3 -- Ready or Not? (TRON) workshop