The following pages link to (Q4542560):
Displayed 24 items.
- Provably secure one-round identity-based authenticated asymmetric group key agreement protocol (Q433086) (← links)
- CMQV+: an authenticated key exchange protocol from CMQV (Q439860) (← links)
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- On the relations between non-interactive key distribution, identity-based encryption and trapdoor discrete log groups (Q735025) (← links)
- An efficient identity-based key exchange protocol with KGS forward secrecy for low-power devices (Q884001) (← links)
- Two-factor mutual authentication based on smart cards and passwords (Q955348) (← links)
- A non-interactive deniable authentication scheme based on designated verifier proofs (Q1007888) (← links)
- New approaches for deniable authentication (Q1037236) (← links)
- The TLS handshake protocol: A modular analysis (Q2267369) (← links)
- Modular approach to the design and analysis of password-based security protocols (Q2385411) (← links)
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- Authenticating ad hoc networks by comparison of short digests (Q2482445) (← links)
- Unifying simulatability definitions in cryptographic systems under different timing assumptions (Q2484407) (← links)
- Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model (Q2502168) (← links)
- A new approach for UC security concurrent deniable authentication (Q2519285) (← links)
- Key Establishment Using Signcryption Techniques (Q3000038) (← links)
- Analysis of the SSH Key Exchange Protocol (Q3104707) (← links)
- On Forward Secrecy in One-Round Key Exchange (Q3104714) (← links)
- Efficient One-Round Key Exchange in the Standard Model (Q3511152) (← links)
- A Modular Security Analysis of the TLS Handshake Protocol (Q3600365) (← links)
- Asymmetric Group Key Agreement (Q3627433) (← links)
- Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps (Q3637143) (← links)
- A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks (Q3787914) (← links)
- On the Connection Between Signcryption and One-Pass Key Establishment (Q5448544) (← links)