The following pages link to (Q4409115):
Displayed 17 items.
- Authenticated confidential channel establishment and the security of TLS-DHE (Q1698403) (← links)
- Anonymity and one-way authentication in key exchange protocols (Q1943977) (← links)
- A cryptographic analysis of the TLS 1.3 handshake protocol (Q1983332) (← links)
- Privacy-preserving authenticated key exchange and the case of IKEv2 (Q2055708) (← links)
- An efficient and generic construction for Signal's handshake (X3DH): post-quantum, state leakage secure, and deniable (Q2061966) (← links)
- Tighter proofs for the SIGMA and TLS 1.3 key exchange protocols (Q2117066) (← links)
- An efficient and generic construction for signal's handshake (X3DH): post-quantum, state leakage secure, and deniable (Q2135524) (← links)
- The TLS handshake protocol: A modular analysis (Q2267369) (← links)
- Breaking and fixing public-key Kerberos (Q2482453) (← links)
- Two-pass authenticated key exchange with explicit authentication and tight security (Q2692405) (← links)
- Security Analysis of the Modular Enhanced Symmetric Role Authentication (mERA) Protocol (Q2803662) (← links)
- Ideal Key Derivation and Encryption in Simulation-Based Security (Q3073705) (← links)
- Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy (Q3104755) (← links)
- Considering two MAC under SIG variants of the basic SIGMA protocol (Q3383076) (← links)
- Universally Composable Security Analysis of TLS (Q5505479) (← links)
- A Modular Security Analysis of EAP and IEEE 802.11 (Q5738761) (← links)
- Post-quantum asynchronous deniable key exchange and the signal handshake (Q6169026) (← links)