Pages that link to "Item:Q2117066"
From MaRDI portal
The following pages link to Tighter proofs for the SIGMA and TLS 1.3 key exchange protocols (Q2117066):
Displaying 15 items.
- On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments (Q2044755) (← links)
- Signed (group) Diffie-Hellman key exchange with tight security (Q2082164) (← links)
- Quantifying the security cost of migrating protocols to practice (Q2096478) (← links)
- KEMTLS with delayed forward identity protection in (almost) a single round trip (Q2096614) (← links)
- Authenticated key exchange and signatures with tight security in the standard model (Q2139653) (← links)
- Multipath TLS 1.3 (Q2148751) (← links)
- On the concrete security of TLS 1.3 PSK mode (Q2170074) (← links)
- On IND-qCCA security in the ROM and its applications. CPA security is sufficient for TLS 1.3 (Q2170104) (← links)
- Advances in Cryptology - CRYPTO 2003 (Q5428133) (← links)
- Lattice-based signatures with tight adaptive corruptions and more (Q6113962) (← links)
- Recovering the tight security proof of SPHINCS\textsuperscript{+} (Q6133961) (← links)
- Key-schedule security for the TLS 1.3 standard (Q6135414) (← links)
- Computational security analysis of the full EDHOC protocol (Q6636104) (← links)
- Toothpicks: more efficient fork-free two-round multi-signatures (Q6636401) (← links)
- Key exchange with tight (full) forward secrecy via key confirmation (Q6637715) (← links)
