Casper Software Authors: Gavin Lowe / Oxford University Computing Laborator Cited in: 83 Publications (1999–2018) Related Software: AVISPA; TAPS; OFMC; FDR2; NRL; Chaff; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
ProVerif Software Authors: inria.fr; Bruno Blanchet Cited in: 42 Publications (2005–2023) Related Software: AVISPA; TAMARIN; OFMC; YAPA; Maude-NPA; NRL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
SATMC Software Authors: Alessandro Armando, Luca Compagna Cited in: 6 Publications (2005–2018) Related Software: AVISPA; OFMC; Maude-NPA; NRL; Casper; Maude; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)