Pages that link to "Item:Q2210444"
From MaRDI portal
The following pages link to A formal security analysis of the Signal messaging protocol (Q2210444):
Displaying 31 items.
- Towards post-quantum security for signal's X3DH handshake (Q832361) (← links)
- The security of lazy users in out-of-band authentication (Q1631350) (← links)
- Short variable length domain extenders with beyond birthday bound security (Q1633453) (← links)
- A cryptographic analysis of the WireGuard protocol (Q1656016) (← links)
- Ratcheted encryption and key exchange: the security of messaging (Q1675224) (← links)
- State separation for code-based game-playing proofs (Q1710673) (← links)
- Security of hedged Fiat-Shamir signatures under fault attacks (Q2055633) (← 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)
- Beyond security and efficiency: on-demand ratcheting with security awareness (Q2061979) (← links)
- Security analysis and improvements for the IETF MLS standard for group messaging (Q2096486) (← links)
- Forward secure message franking (Q2104457) (← links)
- Provable security analysis of FIDO2 (Q2128991) (← links)
- An efficient and generic construction for signal's handshake (X3DH): post-quantum, state leakage secure, and deniable (Q2135524) (← links)
- CCA secure \textit{a posteriori} openable encryption in the standard model (Q2152171) (← links)
- A tutorial-style introduction to \(\mathsf{DY}^{\star}\) (Q2154012) (← links)
- Multi-designated receiver signed public key encryption (Q2170065) (← links)
- A unified and composable take on ratcheting (Q2175936) (← links)
- Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework (Q5041163) (← links)
- Foundations of Software Science and Computation Structures (Q5899104) (← links)
- A more complete analysis of the signal double ratchet algorithm (Q6097271) (← links)
- On the worst-case inefficiency of CGKA (Q6114271) (← links)
- On secure ratcheting with immediate decryption (Q6135429) (← links)
- Post-quantum signal key agreement from SIDH (Q6166996) (← links)
- Post-quantum asynchronous deniable key exchange and the signal handshake (Q6169026) (← links)
- Anonymous whistleblowing over authenticated channels (Q6169427) (← links)
- Anonymous End to End Encryption Group Messaging Protocol Based on Asynchronous Ratchet Tree (Q6485843) (← links)
- Lower bounds on anonymous whistleblowing (Q6582209) (← links)
- WhatsUpp with sender keys? Analysis, improvements and security proofs (Q6604932) (← links)
- Towards post-quantum key-updatable public-key encryption via supersingular isogenies (Q6618605) (← links)
- Updatable public-key encryption, revisited (Q6637728) (← links)
