Modelling ciphersuite and version negotiation in the TLS protocol
From MaRDI portal
Recommendations
Cites work
- A Modular Security Analysis of the TLS Handshake Protocol
- scientific article; zbMATH DE number 1024060 (Why is no real title available?)
- scientific article; zbMATH DE number 1942417 (Why is no real title available?)
- scientific article; zbMATH DE number 1842499 (Why is no real title available?)
- Modelling ciphersuite and version negotiation in the TLS protocol
- On the security of the pre-shared key ciphersuites of TLS
- On the security of the TLS protocol: a systematic analysis
- On the security of TLS-DHE in the standard model
- Proving the TLS handshake secure (as it is)
- Tag size does matter: attacks and proofs for the TLS record protocol
Cited in
(6)- A cryptographic analysis of the TLS 1.3 handshake protocol
- On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments
- KEMTLS with delayed forward identity protection in (almost) a single round trip
- On the concrete security of TLS 1.3 PSK mode
- Modelling ciphersuite and version negotiation in the TLS protocol
- Negotiating DNSSEC algorithms over legacy proxies
This page was built for publication: Modelling ciphersuite and version negotiation in the TLS protocol
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3194602)