├── README.md ├── code ├── .flowconfig ├── README.md ├── build │ ├── certs │ │ ├── client_cert.pem │ │ ├── client_key.pem │ │ ├── server_cert.pem │ │ └── server_key.pem │ ├── tls.js │ ├── tls_core_protocol.js │ ├── tls_crypto.js │ ├── tls_formats.js │ ├── tls_handshake.js │ ├── tls_handshake_old.js │ ├── tls_prettyprint.js │ ├── tls_record.js │ └── util.js ├── package.json ├── src │ ├── tls.js │ ├── tls_core_protocol.js │ ├── tls_crypto.js │ ├── tls_formats.js │ ├── tls_handshake.js │ ├── tls_prettyprint.js │ ├── tls_record.js │ └── util.js └── typedecls │ └── tls_types.js ├── cv ├── HKDFexpand.cv ├── KeySchedule1.cv ├── KeySchedule2.cv ├── KeySchedule3.cv ├── README.md ├── results ├── runcv ├── tls-lib.cvl ├── tls-primitives.cvl ├── tls13-core-InitialHandshake-1RTTonly.cv ├── tls13-core-InitialHandshake.cv ├── tls13-core-PSKandPSKDHE-NoCorruption.cv ├── tls13-core-RecordProtocol-0RTT-badkey.cv ├── tls13-core-RecordProtocol-0RTT.cv └── tls13-core-RecordProtocol.cv ├── paper └── RR-9040.pdf └── pv ├── README.md ├── tls-lib-draft20.pvl ├── tls-lib.pvl ├── tls12-tls13-draft18.pv ├── tls12.pv ├── tls13-draft18-only.pv └── tls13-draft20-only.pv /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/README.md -------------------------------------------------------------------------------- /code/.flowconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/.flowconfig -------------------------------------------------------------------------------- /code/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/README.md -------------------------------------------------------------------------------- /code/build/certs/client_cert.pem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/certs/client_cert.pem -------------------------------------------------------------------------------- /code/build/certs/client_key.pem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/certs/client_key.pem -------------------------------------------------------------------------------- /code/build/certs/server_cert.pem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/certs/server_cert.pem -------------------------------------------------------------------------------- /code/build/certs/server_key.pem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/certs/server_key.pem -------------------------------------------------------------------------------- /code/build/tls.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/tls.js -------------------------------------------------------------------------------- /code/build/tls_core_protocol.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/tls_core_protocol.js -------------------------------------------------------------------------------- /code/build/tls_crypto.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/tls_crypto.js -------------------------------------------------------------------------------- /code/build/tls_formats.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/tls_formats.js -------------------------------------------------------------------------------- /code/build/tls_handshake.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/tls_handshake.js -------------------------------------------------------------------------------- /code/build/tls_handshake_old.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/tls_handshake_old.js -------------------------------------------------------------------------------- /code/build/tls_prettyprint.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/tls_prettyprint.js -------------------------------------------------------------------------------- /code/build/tls_record.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/tls_record.js -------------------------------------------------------------------------------- /code/build/util.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/build/util.js -------------------------------------------------------------------------------- /code/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/package.json -------------------------------------------------------------------------------- /code/src/tls.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/src/tls.js -------------------------------------------------------------------------------- /code/src/tls_core_protocol.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/src/tls_core_protocol.js -------------------------------------------------------------------------------- /code/src/tls_crypto.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/src/tls_crypto.js -------------------------------------------------------------------------------- /code/src/tls_formats.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/src/tls_formats.js -------------------------------------------------------------------------------- /code/src/tls_handshake.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/src/tls_handshake.js -------------------------------------------------------------------------------- /code/src/tls_prettyprint.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/src/tls_prettyprint.js -------------------------------------------------------------------------------- /code/src/tls_record.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/src/tls_record.js -------------------------------------------------------------------------------- /code/src/util.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/src/util.js -------------------------------------------------------------------------------- /code/typedecls/tls_types.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/code/typedecls/tls_types.js -------------------------------------------------------------------------------- /cv/HKDFexpand.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/HKDFexpand.cv -------------------------------------------------------------------------------- /cv/KeySchedule1.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/KeySchedule1.cv -------------------------------------------------------------------------------- /cv/KeySchedule2.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/KeySchedule2.cv -------------------------------------------------------------------------------- /cv/KeySchedule3.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/KeySchedule3.cv -------------------------------------------------------------------------------- /cv/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/README.md -------------------------------------------------------------------------------- /cv/results: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/results -------------------------------------------------------------------------------- /cv/runcv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/runcv -------------------------------------------------------------------------------- /cv/tls-lib.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/tls-lib.cvl -------------------------------------------------------------------------------- /cv/tls-primitives.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/tls-primitives.cvl -------------------------------------------------------------------------------- /cv/tls13-core-InitialHandshake-1RTTonly.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/tls13-core-InitialHandshake-1RTTonly.cv -------------------------------------------------------------------------------- /cv/tls13-core-InitialHandshake.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/tls13-core-InitialHandshake.cv -------------------------------------------------------------------------------- /cv/tls13-core-PSKandPSKDHE-NoCorruption.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/tls13-core-PSKandPSKDHE-NoCorruption.cv -------------------------------------------------------------------------------- /cv/tls13-core-RecordProtocol-0RTT-badkey.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/tls13-core-RecordProtocol-0RTT-badkey.cv -------------------------------------------------------------------------------- /cv/tls13-core-RecordProtocol-0RTT.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/tls13-core-RecordProtocol-0RTT.cv -------------------------------------------------------------------------------- /cv/tls13-core-RecordProtocol.cv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/cv/tls13-core-RecordProtocol.cv -------------------------------------------------------------------------------- /paper/RR-9040.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/paper/RR-9040.pdf -------------------------------------------------------------------------------- /pv/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/pv/README.md -------------------------------------------------------------------------------- /pv/tls-lib-draft20.pvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/pv/tls-lib-draft20.pvl -------------------------------------------------------------------------------- /pv/tls-lib.pvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/pv/tls-lib.pvl -------------------------------------------------------------------------------- /pv/tls12-tls13-draft18.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/pv/tls12-tls13-draft18.pv -------------------------------------------------------------------------------- /pv/tls12.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/pv/tls12.pv -------------------------------------------------------------------------------- /pv/tls13-draft18-only.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/pv/tls13-draft18-only.pv -------------------------------------------------------------------------------- /pv/tls13-draft20-only.pv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Inria-Prosecco/reftls/HEAD/pv/tls13-draft20-only.pv --------------------------------------------------------------------------------