×

Found 38 Software Packages (Results 1–38)

ProVerif

Software Authors:   inria.fr; Bruno Blanchet
Referenced in: 41 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)

Timbuk

Software Authors:   Thomas Genet; Yohan Boichut; Benoît Boyer; Valérie Viet Triem Tong; ..
Referenced in: 47 Publications (2001–2020)
Related Software: Maude; AVISPA; Isabelle; ELAN; Isabelle/HOL; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Design/CPN

Software Authors:   Al-Azzoni, Issam; Down, Douglas G.
Referenced in: 31 Publications (1996–2021)
Related Software: CPN/Tools; TINA; ML; SYROCO; Woflan; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Maude-NPA

Software Authors:   Escobar, Santiago; Meadows, Catherine Author Profile; Meseguer, José; Santiago, Sonia
Referenced in: 31 Publications (2009–2022)
Related Software: Maude; AVISPA; TAMARIN; MTT; YAPA; NRL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

NRL

Software Authors:   Meadows, Catherine
Referenced in: 29 Publications (1996–2018)
Related Software: Maude; AVISPA; OFMC; Maude-NPA; Casper; ProVerif; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

OFMC

Software Authors:   Sebastian Mödersheim, Luca Viganò
Referenced in: 25 Publications (2005–2021)
Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Quark

Software Authors:   J.-P. Aumasson, L. Henzen, W. Meier, M. Naya-Plasencia
Referenced in: 21 Publications (2010–2021)
Related Software: KTANTAN; PRESENT; KATAN; Grain; Trivium; spongent; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

KLEIN

Software Authors:   Zheng Gong, Svetla Nikova, Yee Wei Law
Referenced in: 20 Publications (2011–2020)
Related Software: PRESENT; PRINCE; KTANTAN; KATAN; LED; TWINE; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

TAPS

Software Authors:   Cohen, Ernie
Referenced in: 18 Publications (2000–2009)
Related Software: Casper; AVISPA; Chaff; SATO; Kronos; MCMAS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

TASTY

Software Authors:   Henecka, W., Kögl, S., Sadeghi, A.-R., Schneider, T., Wehrenberg, I.
Referenced in: 18 Publications (2011–2021)
Related Software: Sharemind; FairplayMP; VIFF; VMCrypt; ABY; fhe; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Charm

Software Authors:   Akinyele, J.A., Garman, C., Miers, I., Pagano, M.W., Rushanan, M., Green, M., Rubin, A.D.
Referenced in: 12 Publications (2014–2021)
Related Software: PBC Library; ZKPDL; GitHub; FrodoKEM; NAXOS; Pinocchio; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

Geppetto

Software Authors:   Craig Costello; Cédric Fournet; Jon Howell; Markulf Kohlweiss; Benjamin Kreuter; Michael Naehrig; Bryan Parno; Samee Zahur
Referenced in: 12 Publications (2016–2022)
Related Software: Pinocchio; SNARKs for C; ZKBoo; libiop; ADSNARK; Marlin; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

CRAG

Software Authors:   Alex Myasnikov; Diekert, Volker; Laun, Jürn; Ushakov, Alexander
Referenced in: 9 Publications (2010–2021)
Related Software: WalnutDSA; GitHub
Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

HERMES

Software Authors:   Bozga, L., Lakhnech, Y., Perin, M.
Referenced in: 8 Publications (2005–2009)
Related Software: AVISPA; Casper; Timbuk; simpleAPL; Isabelle/ZF; scyther; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

liboqs

Software Authors:   Stebila, Douglas; Mosca, Michele
Referenced in: 6 Publications (2017–2021)
Related Software: NAXOS; HMQV; GitHub; gRPC; Curve25519; ProVerif; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Quantum theory (81-XX)

DRNG

Software Authors:   Intel
Referenced in: 5 Publications (2014–2018)
Related Software: Diehard; TestU01; dieharder; MersenneTwister; Paraperm; Ent; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Spi2Java

Software Authors:   Pozza, D., Sisto, R., Durante, L.
Referenced in: 3 Publications (2007–2014)
Related Software: ASPIER; AGVI; ProVerif; TulaFale; ZKPDL; MJ; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

AGVI

Software Authors:   Song, Dawn; Perrig, Adrian; Phan, Doantam
Referenced in: 3 Publications (2001–2018)
Related Software: MJ; JavaSPI; Spi2Java; Bouncy Castle; UMLsec; ZKPDL; …
Main Fields: Computer science (68-XX)

BFFL

Software Authors:   Antonio Bellezza
Referenced in: 3 Publications (2002–2003)
Related Software: MIST
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

Cryptyc

Software Authors:   A.D. Gordon, C. Haack, A. Jeffrey
Referenced in: 3 Publications (2005–2015)
Related Software: F*; TAMARIN; OFMC; ProVerif; CASPA_; AVISPA; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

SCAPI

Software Authors:   Yael Ejgenberg, Moriya Farbstein, Meital Levy, Yehuda Lindell
Referenced in: 1 Publication (2017)
Related Software: VMCrypt; FairplayMP; TASTY; bplib; ZKPDL; emmy; …
Main Fields: Information and communication theory, circuits (94-XX)

verifier

Software Authors:   Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki
Referenced in: 3 Publications (2016–2019)
Related Software: QPL; QPMC; LIQUi; ScaffCC; Quipper; PRISM
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

ZKPDL

Software Authors:   Sarah Meiklejohn, C. Christopher Erway, Alptekin Küpçü, Theodora Hinkle, Anna Lysyanskaya
Referenced in: 1 Publication (2021)
Related Software: bplib; emmy; LIBSCAPI; SCAPI; zkp; petlib; …
Main Fields: Information and communication theory, circuits (94-XX)

CASPA_

Software Authors:   Backes, Michael; Lorenz, Stefan; Maffei, Matteo; Pecina, Kim
Referenced in: 1 Publication (2015)
Related Software: F*; TAMARIN; Cryptyc; OFMC; ProVerif; AVISPA; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

MoTE-ECC

Software Authors:   Liu, Zhe; Wenger, Erich; Großschädl, Johann
Referenced in: 2 Publications (2014–2015)
Related Software: NanoECC; TinyECC; Curve25519
Main Fields: Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

PandA

Software Authors:   Chuengsatiansup, Chitchanok; Naehrig, Michael; Ribarski, Pance; Schwabe, Peter
Referenced in: 2 Publications (2014–2015)
Related Software: EAGL; Pinocchio; Charm; RELIC; PBC Library; eBACS; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

CPSA

Software Authors:   Guttman, J.D., Ramsdell, J.D.
Referenced in: 1 Publication (2017)
Related Software: Helios; TAMARIN; Akiss; Maude-NPA; AVISPA
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

G2C

Software Authors:   Backes, Michael; Maffei, Matteo; Pecina, Kim; Reischuk, Raphael M.
Referenced in: 1 Publication (2012)
Related Software: AURA; Gecode
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

HyCC

Software Authors:   Büscher, N., Demmler, D., Katzenbeisser, S., Kretzmer, D., Schneider, T.
Referenced in: 1 Publication (2022)
Related Software: EasyUC; Wysteria; JIFF; Sharemind
Main Fields: Computer science (68-XX)

JIFF

Software Authors:   –
Referenced in: 1 Publication (2022)
Related Software: EasyUC; Wysteria; HyCC; Sharemind
Main Fields: Computer science (68-XX)

LIBSCAPI

Software Authors:   Bar Ilan University Cryptography Research Group
Referenced in: 0 Publications
Related Software: bplib; ZKPDL; emmy; SCAPI; zkp; petlib; …
Main Fields:

MoSS

Software Authors:   Herzberg, Amir; Leibowitz, Hemi; Syta, Ewa; Wrótniak, Sara
Referenced in: 1 Publication (2021)
Related Software: CryptHOL; TAMARIN; GNUC; EasyCrypt
Main Fields: Information and communication theory, circuits (94-XX)

nielsen

Software Authors:   Kotov, Matvei; Panteleev, Dmitry; Ushakov, Alexander
Referenced in: 1 Publication (2018)
Related Software: GAP; SINGULAR
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Obliv-C

Software Authors:   Zahur, S., Evans, D.
Referenced in: 1 Publication (2017)
Related Software: ABC; TinyGarble; Frigate; ABY; ObliVM; JustGarble; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

TRING

Software Authors:   Raju, D.V.Naga; Kumari, V.Valli
Referenced in: 1 Publication (2010)
Related Software:
Main Fields: Computer science (68-XX)

Verificatum

Software Authors:   Wikström, D
Referenced in: 1 Publication (2021)
Related Software:
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

MPyC

Software Authors:   Schoenmakers, B.
Referenced in: 0 Publications
Related Software:
Main Fields:

TECP

Software Authors:   J. Zaitseva
Referenced in: 0 Publications
Related Software:
Main Fields: