scyther
From MaRDI portal
Scyther
Cited in
(33)- HERMES
- YAPA
- AVISPA
- LWDSA: light-weight digital signature algorithm for wireless sensor networks
- FAST
- CMQV+
- ProVerif
- Casper
- A procedure for deciding symbolic equivalence between sets of constraint systems
- OFMC
- SATMC
- Formal analysis and offline monitoring of electronic exams
- NRL
- Maude-NPA
- Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol
- ConfiChair
- RiTHM
- Log your car: reliable maintenance services record
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
- Apte
- Akiss
- SPEC
- Causality, behavioural equivalences, and the security of cyberphysical systems
- TAMARIN
- Comparing State Spaces in Automatic Security Protocol Analysis
- Deciding equivalence-based properties using constraint solving
- CPSA
- Helios
- Computer-Aided Security Proofs for the Working Cryptographer
- A reduced semantics for deciding trace equivalence
- Automated verification of equivalence properties of cryptographic protocols
- Distributed temporal logic for the analysis of security protocol models
- Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
This page was built for software: scyther
