PRF-ODH: relations, instantiations, and impossibility results
From MaRDI portal
Publication:1675225
DOI10.1007/978-3-319-63697-9_22zbMath1418.94034OpenAlexW2725913349MaRDI QIDQ1675225
Christian Janson, Jacqueline Brendel, Marc Fischlin, Felix Günther
Publication date: 27 October 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-63697-9_22
Related Items (14)
Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework ⋮ Towards post-quantum security for signal's X3DH handshake ⋮ Zero round-trip time for the extended access control protocol ⋮ On IND-qCCA security in the ROM and its applications. CPA security is sufficient for TLS 1.3 ⋮ A more complete analysis of the signal double ratchet algorithm ⋮ Key-schedule security for the TLS 1.3 standard ⋮ Cryptographic analysis of the Bluetooth secure connection protocol suite ⋮ A formal security analysis of the Signal messaging protocol ⋮ A cryptographic analysis of the TLS 1.3 handshake protocol ⋮ Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC ⋮ On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments ⋮ Analysing the HPKE standard ⋮ Black-box use of one-way functions is useless for optimal fair coin-tossing ⋮ Tighter proofs for the SIGMA and TLS 1.3 key exchange protocols
This page was built for publication: PRF-ODH: relations, instantiations, and impossibility results