Akiss

swMATH20605MaRDI QIDQ32423FDOQ32423

Author name not available (Why is that?)

Source code repository: https://github.com/akiss/akiss

Described by source

• Automated Verification of Equivalence Properties of Cryptographic Protocols

Cited In (15)

• Deciding equivalence-based properties using constraint solving
• Title not available (Why is that?)
• SPEC: An Equivalence Checker for Security Protocols
• On Communication Models When Verifying Equivalence Properties
• Review of cryptographic schemes applied to remote electronic voting systems: remaining challenges and the upcoming post-quantum paradigm
• A procedure for deciding symbolic equivalence between sets of constraint systems
• A decidable class of security protocols for both reachability and equivalence properties
• Stateful applied pi calculus: observational equivalence and labelled bisimilarity
• Computing knowledge in equational extensions of subterm convergent theories
• Formal analysis and offline monitoring of electronic exams
• Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
• Automated Verification of Equivalence Properties of Cryptographic Protocols
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• Title not available (Why is that?)
• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)

This page was built for software: Akiss