OFMC
From MaRDI portal
Cited in
(40)- HERMES
- YAPA
- AVISPA
- CASPA_
- FAST
- ProVerif
- Casper
- Security protocols analysis including various time parameters
- scyther
- SATMC
- NRL
- Maude-NPA
- Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
- Cryptyc
- Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress
- Computationally sound abstraction and verification of secure multi-party computations
- Model Checking Security Protocols
- On the Automated Correction of Protocols with Improper Message Encoding
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
- On-the-Fly Model Checking of Fair Non-repudiation Protocols
- TAMARIN
- Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
- On Establishing and Fixing a Parallel Session Attack in a Security Protocol
- CoSP
- State space reduction in the Maude-NRL protocol analyzer
- Automated type-based analysis of injective agreement in the presence of compromised principals
- Computing knowledge in equational extensions of subterm convergent theories
- Interrogator
- Computational soundness of symbolic zero-knowledge proofs: weaker assumptions and mechanized verification
- From security protocols to pushdown automata
- Distributed temporal logic for the analysis of security protocol models
- A Formal Language for Cryptographic Pseudocode
- Computer Aided Verification
- \textsf{CaPiTo}: Protocol stacks for services
- On the semantics of Alice \& Bob specifications of security protocols
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
- Intruder deduction for the equational theory of abelian groups with distributive encryption
- Verifying a signature architecture: a comparative case study
- Efficient representation of the attacker's knowledge in cryptographic protocols analysis
This page was built for software: OFMC
