scyther

swMATH9467MaRDI QIDQ21450FDOQ21450

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-540-70545-1_38

Cited In (31)

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

This page was built for software: scyther