Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties

No abstract is available for this paper.

• Publication year

  2015

• Venue

  Foundations and Practice of Security

• Publication date

  2015-10-26

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-319-30303-1_9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The TAMARIN Prover for the Symbolic Analysis of Security Protocols

  2013influential reference
• Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

  2012influential reference
• Key Exchange in IPsec revisited Formal Analysis of IKEv1 and IKEv2

  2011cited by this paper
• Frank Miller: Inventor of the One-Time Pad

  2011cited by this paper
• Internet Key Exchange Protocol Version 2 (IKEv2)

  2010cited by this paper
• Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification

  2010cited by this paper
• A Comparative Analysis of Tools for Verification of Security Protocols

  2010cited by this paper
• The Dolev-Yao Intruder is the most Powerful Attacker

  2010cited by this paper
• Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties

  2009cited by this paper
• Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

  2009influential reference
• Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation

  2009cited by this paper
• Improving Automatic Verification of Security Protocols with XOR

  2009cited by this paper
• Comparing State Spaces in Automatic Security Protocol Analysis

  2009cited by this paper
• Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach

  2008cited by this paper
• The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols

  2008influential reference
• Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols

  2007cited by this paper
• A comparative study of security protocols validation tools: HERMES vs. AVISPA

  2006cited by this paper
• A survey of algebraic properties used in cryptographic protocols

  2006influential reference
• An electronic online bidding auction protocol with both security and efficiency

  2006cited by this paper
• Automated Security Protocol Analysis With the AVISPA Tool

  2006cited by this paper
• The Secure Shell (SSH) Transport Layer Protocol

  2006cited by this paper
• The CL-Atse Protocol Analyser

  2006cited by this paper
• An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols

  2005cited by this paper
• OFMC: A symbolic model checker for security protocols

  2005cited by this paper
• The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

  2005cited by this paper
• A classical introduction to cryptography exercise book

  2005cited by this paper
• A classical introduction to cryptography - applications for communications security

  2005cited by this paper
• Automatic testing equivalence verification of spi calculus specifications

  2003cited by this paper
• An On-the-Fly Model-Checker for Security Protocol Analysis

  2003cited by this paper
• HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols

  2003cited by this paper
• The AVISS Security Protocol Analysis Tool

  2002cited by this paper
• An Improved Constraint-Based System for the Verification of Security Protocols

  2002cited by this paper
• Experimenting with STA, a tool for automatic analysis of security protocols

  2002cited by this paper
• An efficient cryptographic protocol verifier based on prolog rules

  2001influential reference
• Athena: a novel approach to efficient automatic security protocol analysis

  2001cited by this paper
• New multiparty authentication services and key agreement protocols

  2000cited by this paper
• An Attack on a Recursive Authentication Protocol. A Cautionary Tale

  1998cited by this paper
• Automated analysis of cryptographic protocols using Mur/spl phi/

  1997cited by this paper
• Automated Analysis of Cryptographic Protocols Using Mur '

  1997cited by this paper
• Casper: A compiler for the analysis of security protocols

  1997cited by this paper
• Using CSP to Detect Errors in the TMN Protocol

  1997cited by this paper
• Principles of Maude

  1996cited by this paper
• Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches

  1996cited by this paper
• Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

  1996cited by this paper
• Language generation and verification in the NRL protocol analyzer

  1996cited by this paper
• Modelling and verifying key-exchange protocols using CSP and FDR

  1995cited by this paper
• Creation of Views for Reuse of Software with Different Data Representations

  1995cited by this paper
• Model-checking CSP

  1994cited by this paper
• On a Limitation of BAN Logic

  1994cited by this paper
• A logic of authentication

  1990cited by this paper
• Using one-way functions for authentication

  1989cited by this paper
• Key Distribution Protocol for Digital Mobile Communication Systems

  1989cited by this paper
• On the security of public key protocols

  1981cited by this paper
• Using encryption for authentication in large networks of computers

  1978cited by this paper
• New Directions in Cryptography

  1976cited by this paper

• Parallel Maude-NPA for Cryptographic Protocol Analysis

  2025cites this paper
• Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability

  2025cites this paper
• Towards Validation of TLS 1.3 Formal Model and Vulnerabilities in Intel’s RA-TLS Protocol

  2024cites this paper
• Formal Analysis of C-ITS PKI Protocols

  2024cites this paper
• Terrapin Attack: Breaking SSH Channel Integrity By Sequence Number Manipulation

  2023cites this paper
• Sapic+: protocol verifiers of the world, unite!

  2022cites this paper
• Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models

  2022cites this paper
• Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification

  2021cites this paper
• Verifpal: Cryptographic Protocol Analysis for the Real World

  2020cites this paper
• Formally and practically verifying flow properties in industrial systems

  2019cites this paper
• Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm

  2019cites this paper
• Verifpal: Cryptographic Protocol Analysis for Students and Engineers

  2019cites this paper
• Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

  2019cites this paper
• Analysing Security Protocols Using Scenario Based Simulation

  2019cites this paper
• A Comparative Analysis of Tools for Testing the Security Protocols

  2019cites this paper
• Formal analysis of a private access control protocol to a cloud storage

  2018cites this paper
• Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin

  2018cites this paper
• Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques. (Cybersecurity of Industrial Systems : Applicative Filtering and Generation of Attack Scenarios)

  2018cites this paper
• Formally and Practically Verifying Flow Integrity Properties in Industrial Systems

  2018cites this paper
• Verification of STAR-Vote and Evaluation of FDR and ProVerif

  2017cites this paper
• Formal Analyze of a Private Access Control Protocol to a Cloud Storage

  2017cites this paper
• Formally Verifying Flow Integrity Properties in Industrial Systems ∗

  2017cites this paper
• Dual protocols for private multi-party matrix multiplication and trust computations

  2017cites this paper
• Formally Verifying Flow Properties in Industrial Systems

  2017cites this paper
• Formal analysis and offline monitoring of electronic exams

  2017cites this paper
• Formal Analysis of Security Properties on the OPC-UA SCADA Protocol

  2016cites this paper
• Private Multi-party Matrix Multiplication and Trust Computations

  2016cites this paper
• This paper is included in the Proceedings of the 31st USENIX Security Symposium.

  year unknowncites this paper