swMATH20605MaRDI QIDQ32423FDOQ32423
Author name not available (Why is that?)
Official website: https://github.com/akiss/akiss
Source code repository: https://github.com/akiss/akiss
Cited In (31)
- Deciding equivalence-based properties using constraint solving
- On Communication Models When Verifying Equivalence Properties
- Analysing privacy-type properties in cryptographic protocols (invited talk)
- 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
- FAST
- ProVerif
- OFMC
- scyther
- LALBLC
- Anima
- Maude-NPA
- ConfiChair
- RiTHM
- A reduced semantics for deciding trace equivalence
- Automated verification of equivalence properties of cryptographic protocols
- Apte
- SPEC
- TAMARIN
- margrave
- ACUOS2
- CPSA
- Helios
- 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
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
- SPEC: an equivalence checker for security protocols
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
This page was built for software: Akiss
