Software Search - zbMATH Open

Akiss

swMATH ID:	20605
Software Authors:	Chadha, Rohit; Cheval, Vincent; Ciobâcă, Ștefan; Kremer, Steve
Description:	Akiss is a verification tool for checking trace equivalence of security protocols. It works in the so-called symbolic model, representing protocols by processes in the applied pi-calculus, and allowing the user to describe various security primitives by an equational theory. In order to show that two processes are trace equivalent, Akiss derives a complete set of tests for each trace of each process, using a saturation procedure that performs Horn clause resolution with selection.
Homepage:	https://github.com/akiss/akiss
Source Code:	https://github.com/akiss/akiss
Related Software:	TAMARIN; AVISPA; Maude-NPA; YAPA; Apte; scyther; ProVerif; FAST; SPEC; Maude; z3; CPSA; GitHub; Helios; ConfiChair; Yices; Anima; margrave; MiniSat; Darwin
Cited in:	21 Documents

1 Publication describing the Software, including 1 Publication in zbMATH	Year
Automated verification of equivalence properties of cryptographic protocols. Zbl 1352.68148 Chadha, Rohit; Ciobâcă, Ştefan; Kremer, Steve	2012

all top 5

6	Delaune, Stéphanie
5	Cheval, Vincent
5	Kremer, Steve
3	Escobar, Santiago
2	Chadha, Rohit
2	Ciobâcă, Ştefan
2	Cortier, Véronique
2	Hirschi, Lucca
2	Horne, Ross
2	López-Rueda, Raúl
1	Arapinis, Myrto
1	Babel, Kushal
1	Baelde, David
1	Comon-Lundh, Hubert
1	Dougherty, Daniel J.
1	Dreier, Jannik
1	Duménil, Charles
1	Durán, Francisco
1	Eker, Steven
1	Erbatur, Serdar
1	Falcone, Yliès
1	Guttman, Joshua D.
1	Hermida Alonso, José Angel
1	Kassem, Ali
1	Lafourcade, Pascal
1	Liu, Jia
1	Marcos del Blanco, David Yeregui
1	Marshall, Andrew M.
1	Martí-Oliet, Narciso
1	Mauw, Sjouke
1	Meseguer Guaita, José
1	Panizo Alonso, Luis
1	Rakotonirina, Itsaka
1	Ramsdell, John D.
1	Ringeissen, Christophe
1	Ritter, Eike
1	Rubio, Rubén
1	Ryan, Mark Dermot
1	Sapiña, Julia
1	Sasse, Ralf
1	Sundararajan, Vaishnavi
1	Talcott, Carolyn L.
1	Tiu, Alwen Fernanto
1	Yurkov, Semen

all top 5

3	Journal of Logical and Algebraic Methods in Programming
2	Theoretical Computer Science
1	Information and Computation
1	Journal of Automated Reasoning
1	Mathematical Structures in Computer Science
1	Formal Methods in System Design
1	ACM Transactions on Computational Logic
1	Logical Methods in Computer Science
1	Open Mathematics
1	TheoretiCS

19	Computer science (68-XX)
14	Information and communication theory, circuits (94-XX)