scientific article; zbMATH DE number 1775427
From MaRDI portal
Publication:4542560
Recommendations
Cited in
(77)- The layered games framework for specifications and analysis of security protocols
- A non-interactive deniable authentication scheme based on designated verifier proofs
- New approaches for deniable authentication
- A secure address resolution protocol.
- Lattice-based key exchange on small integer solution problem
- Private set-intersection with common set-up
- Generic authenticated key exchange in the quantum random oracle model
- MoSS: modular security specifications framework
- Improved attacks against key reuse in learning with errors key exchange
- A formal security analysis of the Signal messaging protocol
- The TLS handshake protocol: A modular analysis
- Password-authenticated group key establishment from smooth projective hash functions
- Strongly leakage resilient authenticated key exchange, revisited
- Modular approach to the design and analysis of password-based security protocols
- Strong authenticated key exchange with auxiliary inputs
- The meeting businessmen problem: requirements and limitations
- Security weaknesses of a signature scheme and authenticated key agreement protocols
- The reactive simulatability (RSIM) framework for asynchronous systems
- Authenticating ad hoc networks by comparison of short digests
- Unifying simulatability definitions in cryptographic systems under different timing assumptions
- Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model
- A new approach for UC security concurrent deniable authentication
- A new framework for deniable secure key exchange
- Participant attack on three-party quantum key agreement with two-photon entanglement
- scientific article; zbMATH DE number 1722690 (Why is no real title available?)
- Security analysis of the modular enhanced symmetric role authentication (mERA) protocol
- Authenticated asymmetric group key agreement based on certificateless cryptosystem
- Security Analysis of a Multi-factor Authenticated Key Exchange Protocol
- Security of Keyed Sponge Constructions Using a Modular Proof Approach
- One-round attribute-based key exchange in the multi-party setting
- Key Establishment Using Signcryption Techniques
- Ideal key derivation and encryption in simulation-based security
- Analysis of the SSH key exchange protocol
- On Forward Secrecy in One-Round Key Exchange
- Bayesian authentication: quantifying security of the Hancke-Kuhn protocol
- Efficient One-Round Key Exchange in the Standard Model
- A Modular Security Analysis of the TLS Handshake Protocol
- Asymmetric Group Key Agreement
- Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
- A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
- Provably secure one-round identity-based authenticated asymmetric group key agreement protocol
- scientific article; zbMATH DE number 1024094 (Why is no real title available?)
- CMQV+: an authenticated key exchange protocol from CMQV
- Key agreement protocols and their security analysis
- scientific article; zbMATH DE number 1962757 (Why is no real title available?)
- scientific article; zbMATH DE number 2080179 (Why is no real title available?)
- One-Round Attribute-Based Key Exchange in the Multi-Party Setting
- Timed encryption with application to deniable key exchange
- scientific article; zbMATH DE number 1844567 (Why is no real title available?)
- scientific article; zbMATH DE number 924956 (Why is no real title available?)
- Initiator-resilient universally composable key exchange
- Efficient network authentication protocols: lower bounds and optimal implementations
- Cryptography and cryptographic protocols
- New modular compilers for authenticated key exchange
- Protocols for authentication and key establishment
- Information Security and Privacy
- On the Connection Between Signcryption and One-Pass Key Establishment
- Modular Security Proofs for Key Agreement Protocols
- Distributed temporal logic for the analysis of security protocol models
- Analysis and improvement of an authenticated multiple key exchange protocol
- A modular security analysis of EAP and IEEE 802.11
- scientific article; zbMATH DE number 4187087 (Why is no real title available?)
- Unilaterally-authenticated key exchange
- Topics in Cryptology – CT-RSA 2006
- Principles for entity authentication
- A Lightweight Key Agreement Protocol with Authentication Capability
- Modular design of KEM-based authenticated key exchange
- Provably secure group authentication in the asynchronous communication model
- Short concurrent covert authenticated key exchange (short cAKE)
- On the relations between non-interactive key distribution, identity-based encryption and trapdoor discrete log groups
- Designing secure key exchange protocols
- On strengthening authentication protocols to foil cryptanalysis
- An efficient identity-based key exchange protocol with KGS forward secrecy for low-power devices
- Open problems in hash function security
- FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes
- Improving the security of protocols of quantum key agreement solely using Bell states and Bell measurement
- Two-factor mutual authentication based on smart cards and passwords
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4542560)
