New Modular Compilers for Authenticated Key Exchange

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Applied Cryptography and Network Security

• Publication date

  2014-06-10

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-07536-5_1
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Another Look at Security Theorems for 1-Key Nested MACs

  2014cited by this paper
• On the Security of the TLS Protocol: A Systematic Analysis

  2013cited by this paper
• Advances in Cryptology – CRYPTO 2013

  2013cited by this paper
• Another look at security definitions

  2013cited by this paper
• On the Security of TLS-DHE in the Standard Model

  2012cited by this paper
• Advances in Cryptology – CRYPTO 2012

  2012cited by this paper
• Generic Compilers for Authenticated Key Exchange

  2010influential reference
• The World is Not Enough: Another Look on Second-Order DPA

  2010cited by this paper
• Generic Compilers for Authenticated Key Exchange (Full Version)

  2010cited by this paper
• Comparing the pre- and post-specified peer models for key agreement

  2008cited by this paper
• Advances in Cryptology - ASIACRYPT 2007, 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007, Proceedings

  2007cited by this paper
• Authenticated Key Exchange and Key Encapsulation in the Standard Model

  2007cited by this paper
• Stronger Security of Authenticated Key Exchange

  2006cited by this paper
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs

  2006cited by this paper
• HMQV: A High-Performance Secure Diffie-Hellman Protocol

  2005cited by this paper
• Security of Signature Schemes in a Multi-User Setting

  2004cited by this paper
• Sequences of games: a tool for taming complexity in security proofs

  2004cited by this paper
• Scalable Protocols for Authenticated Group Key Exchange

  2003cited by this paper
• Advances in Cryptology — CRYPTO’ 93

  2001cited by this paper
• Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels

  2001cited by this paper
• Advances in Cryptology — EUROCRYPT 2001

  2001cited by this paper
• Unknown Key-Share Attacks on the Station-to-Station (STS) Protocol

  1999influential reference
• A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract)

  1998cited by this paper
• A Secure and Efficient Conference Key Distribution System (Extended Abstract)

  1994cited by this paper
• Entity Authentication and Key Distribution

  1993cited by this paper
• Public-Key Cryptography

  1991cited by this paper
• New Directions in Cryptography

  1976cited by this paper

• HMACCE: Establishing Authenticated and Confidential Channel From Historical Data for Industrial Internet of Things

  2023cites this paper
• Authenticated logarithmic-order supersingular isogeny group key exchange

  2021cites this paper
• Lightweight Delegated Authentication with Identity Fraud Detection for Cyber-physical Systems

  2021cites this paper
• Protocols for Authentication and Key Establishment

  2020cites this paper
• Tightly-Secure Authenticated Key Exchange, Revisited

  2020cites this paper
• HMAKE: Legacy-Compliant Multi-factor Authenticated Key Exchange from Historical Data

  2019cites this paper
• Hybrid Key Encapsulation Mechanisms and Authenticated Key Exchange

  2019cites this paper
• Cryptographic Solutions for Cyber-Physical System Security

  2019cites this paper
• Post-Quantum Cryptography

  2019influential citation
• Authenticated key exchange for SIDH

  2018cites this paper
• On Security Analysis of Generic Dynamic Authenticated Group Key Exchange

  2018cites this paper
• Generic Forward-Secure Key Agreement Without Signatures

  2017cites this paper
• Randomized authentication primitive problem in key exchange with strong security

  2017cites this paper
• Design and analysis of cryptographic protocols

  2016cites this paper
• A Lightweight Generic Compiler for Authenticated Key Exchange from Non-interactive Key Exchange with Auxiliary Input

  2016influential citation
• Efficient Signatures with Tight Real World Security in the Random-Oracle Model

  2014cites this paper