[rwth-security] A Readable Specification of TLS 1.3