×

Found 6 Software Packages (Results 1–6)

YAPA

Software Authors:   Baudet, Mathieu; Cortier, Véronique; Delaune, Stéphanie
Referenced in: 18 Publications (2009–2020)
Related Software: AVISPA; Akiss; Maude-NPA; ProVerif; OFMC; FAST; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Akiss

Software Authors:   Rohit Chadha, Vincent Cheval, Ștefan Ciobâcă, Steve Kremer
Referenced in: 15 Publications (2012–2021)
Related Software: AVISPA; TAMARIN; Apte; YAPA; scyther; Maude-NPA; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

TulaFale

Software Authors:   Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
Referenced in: 12 Publications (2004–2012)
Related Software: Spi2Java; ProVerif; AVISPA; AsmL; ASPIER; EasyCrypt; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Psi-calculi

Software Authors:   Jesper Bengtson
Referenced in: 11 Publications (2009–2020)
Related Software: Nominal Isabelle; Isabelle/HOL; Twelf; Isabelle; HYBRID; PoplMark; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JavaSPI

Software Authors:   Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo
Referenced in: 1 Publication (2018)
Related Software: MJ; AGVI; Bouncy Castle; UMLsec; Helios; TS#; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

PIC2LNT

Software Authors:   Mateescu, Radu; Salaün, Gwen
Referenced in: 2 Publications (2013)
Related Software: ProVerif; CADP; MWB; E-LOTOS; PRISM-games; BULL; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)