×

Found 19 Software Packages (Results 1–19)

Keccak

Software Authors:   Bertoni, G., Daemen, J., Peeters, M., Van Assche, G.
Cited in: 89 Publications (2011–2022)
Related Software: PRESENT; SIMON; Skein Hash; XooTools; GitHub; Salsa20; …
Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-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)

HAVAL

Software Authors:   Zheng, Yuliang; Pieprzyk, Josef; Seberry, Jennifer
Cited in: 45 Publications (1993–2021)
Related Software: Grain; eSTREAM; Skein Hash; Whirlpool; Keccak; KTANTAN; …
Main Fields: Number theory (11-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Skein Hash

Software Authors:   N. Ferguson, S. Lucks, B. Schneier, D. Whiting, M. Bellare, T. Kohno, J. Callas and J. Walker
Cited in: 33 Publications (2011–2021)
Related Software: Keccak; SIMON; Salsa20; tweakey; SPECK; SIMECK; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Quark

Software Authors:   J.-P. Aumasson, L. Henzen, W. Meier, M. Naya-Plasencia
Cited 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)

MMH

Software Authors:   Halevi, Shai; Krawczyk, Hugo
Cited in: 19 Publications (1997–2022)
Related Software: Poly1305-AES; McOE; ELmD; MCBC; ELmE; eSTREAM; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Computer science (68-XX)

HACL*

Software Authors:   Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche
Cited in: 11 Publications (2018–2023)
Related Software: Jasmin; Toolchain; Why3; GitHub; Coq; WhyMP; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

MiMC

Software Authors:   Albrecht M. R., Grassi L., Rechberger C., Roy A., Tyge T.
Cited in: 8 Publications (2016–2023)
Related Software: SageMath; SCIP; ISAP; FreePDK45; Romulus; Lilliput; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Tiger

Software Authors:   Anderson, Ross; Biham, Eli
Cited in: 8 Publications (1996–2012)
Related Software: Blowfish; BLAKE; HAVAL
Main Fields: Information and communication theory, circuits (94-XX)

Apte

Software Authors:   V. Cheval; David Baelde, Stephanie Delaune, Lucca Hirschi
Cited in: 5 Publications (2017–2018)
Related Software: Akiss; TAMARIN; AVISPA; FAST; scyther; GitHub; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

XKCP

Software Authors:   Daemen, J., Hoffert, S., Peeters, M., Assche, G.V., Keer, R.V
Cited in: 4 Publications (2019–2021)
Related Software: GitHub; PQM4; NTRUEncrypt; Salsa20; XooTools; Saturnin; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

LibTom

Software Authors:   Denis, T.S.
Cited in: 2 Publications (2016–2017)
Related Software: CADO-NFS
Main Fields: Number theory (11-XX); Information and communication theory, circuits (94-XX)

SCAPI

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

MurmurHash

Software Authors:   Austin Appleby
Cited in: 2 Publications (2014–2016)
Related Software: MonPoly; MapReduce
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

SUPERCOP

Software Authors:   Wenzel-Benner, Christian; Gräf, Jens
Cited in: 2 Publications (2010–2012)
Related Software: mCrypton; HIGHT; PRESENT
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

VBF

Software Authors:   José Antonio Álvarez-Cubero, Pedro J. Zufiria
Cited in: 2 Publications (2016–2017)
Related Software: SageMath; VBFlib; MatPack; CrypTool; boolfun; KASUMI; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

Rig

Software Authors:   Chang, Donghoon; Jati, Arpan; Mishra, Sweta; Sanadhya, Somitra Kumar
Cited in: 1 Publication (2015)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

SMHasher

Software Authors:   Austin Appleby
Cited in: 1 Publication (2018)
Related Software: GPGPU-Treewidth; LibTW; BZTreewidth; GitHub; ComputeTW; CUDA
Main Fields: Computer science (68-XX)

YAARX

Software Authors:   Velichkov, V.
Cited in: 1 Publication (2016)
Related Software: SIMON; SIMECK; ARXtools
Main Fields: Information and communication theory, circuits (94-XX)