×

Found 608 Software Packages (Results 1–100)

Datalog

Software Authors:   Ceri, S., Gottlob, G., Tanca, L
Referenced in: 280 Publications (1978–2022)
Related Software: ASSAT; Gringo; Clingo; WASP; Smodels; DLV; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

gmp

Software Authors:   Granlund
Referenced in: 271 Publications (1995–2022)
Related Software: MPFR; NTL; PARI/GP; SageMath; Magma; Mathematica; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

NTRU

Software Authors:   Hoffstein, Jeffrey; Pipher, Jill; Silverman, Joseph H.
Referenced in: 186 Publications (1998–2022)
Related Software: NTRUSign; BKZ; NTL; SWIFFT; McEliece; BLISS; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX)

Globus Toolkit

Software Authors:   University of Chicago; Ian Foster; ...
Referenced in: 61 Publications (2000–2022)
Related Software: Condor-G; MPICH-G2; Nimrod/G; Java CoG Kit; Chord; Open Science Grid; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SIMON

Software Authors:   Beaulieu, R., Shors, D., Smith, J., Treatman-Clark, S., Weeks, B., Wingers, L.
Referenced in: 96 Publications (2014–2022)
Related Software: SIMECK; SPECK; PRESENT; PRINCE; SKINNY; Piccolo; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

Casper

Software Authors:   Gavin Lowe / Oxford University Computing Laborator
Referenced 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)

Camellia

Software Authors:   Aoki, Kazumaro; Ichikawa, Tetsuya; Kanda, Masayuki; Matsui, Mitsuru; Moriai, Shiho; Nakajima, Junko; Tokita, Toshio
Referenced in: 84 Publications (2001–2021)
Related Software: CLEFIA; PRESENT; SIMON; Square; ARIA; LBlock; …
Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Numerical analysis (65-XX)

HMQV

Software Authors:   Krawczyk, Hugo
Referenced in: 89 Publications (2001–2022)
Related Software: NAXOS; GitHub; liboqs; Reveal; KEM-DEM; Curve25519; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

AVISPA

Software Authors:   European Community under the Information Society Technologies Programme (1998-2002)
Referenced in: 82 Publications (2005–2021)
Related Software: Casper; ProVerif; OFMC; YAPA; TAMARIN; Maude-NPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MCMAS

Software Authors:   Alessio Lomuscio, Hongyang Qu, Franco Raimondi
Referenced in: 79 Publications (2006–2022)
Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; PRISM-games; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NAXOS

Software Authors:   Berkant Ustaoglu; LaMacchia; Lauter; Mityagin
Referenced in: 81 Publications (2007–2022)
Related Software: HMQV; CMQV+; GitHub; liboqs; Curve25519; FrodoKEM; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Trivium

Software Authors:   Shahram Khazaei; Mehdi Hassanzadeh; Christophe De Canniere; Bart Preneel;
Referenced in: 82 Publications (2006–2022)
Related Software: Grain; eSTREAM; KTANTAN; KATAN; MICKEY; PRESENT; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

BKZ

Software Authors:   Chen, Yuanmi; Nguyen, Phong Q.
Referenced in: 66 Publications (2011–2022)
Related Software: NTRU; NTL; GitHub; G6K; fpLLL; BLISS; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)

PRINCE

Software Authors:   Borghoff, Julia; Canteaut, Anne; G"uneysu, Tim; Kavun, Elif Bilge; Knezevic, Miroslav; Knudsen, Lars R.; Leander, Gregor; Nikov, Ventzislav; Paar, Christof; Rechberger, Christian; Rombouts, Peter; Thomsen, S{o}ren S.; Yalc{c}{i}n, Tolga
Referenced in: 70 Publications (2012–2022)
Related Software: PRESENT; SIMON; Piccolo; KATAN; LED; Midori; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)

CLEFIA

Software Authors:   Rezaeipour, Davood; Said, Mohamad Rushdan Md.
Referenced in: 66 Publications (2007–2022)
Related Software: PRESENT; LBlock; Piccolo; TWINE; Camellia; HIGHT; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

JPEG2000

Software Authors:   Seo, Yeong Geon; Kim, Kwon Soo; Kim, Sung Gyun
Referenced in: 56 Publications (2002–2022)
Related Software: VisualSEEk; applinalgcode; GeneralizedSampling; Python; WaveLab; BM3D; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Computer science (68-XX)

Nitpick

Software Authors:   Blanchette, Jasmin Christian; Nipkow, Tobias
Referenced in: 64 Publications (1999–2022)
Related Software: Isabelle/HOL; Sledgehammer; Isabelle; Coq; TPTP; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

KTANTAN

Software Authors:   De Cannière, Christophe; Dunkelman, Orr; Knežević, Miroslav
Referenced in: 58 Publications (2009–2021)
Related Software: KATAN; PRESENT; LED; HIGHT; LBlock; TWINE; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

OpenSSL

Software Authors:   The OpenSSL Project; Young, E.A., Hudson, T.J
Referenced in: 56 Publications (2002–2021)
Related Software: eBACS; GitHub; gmp; eBASH; NaCl; Crypto++; …
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Algebraic geometry (14-XX)

KIV

Software Authors:   M. Heisel, B. Langenstein, W.Reif, G. Schellhorn, K. Stenzel, W. Stephan, A. Wolpers, et al.
Referenced in: 50 Publications (1988–2021)
Related Software: Z; PVS; Isabelle; JML; KRAKATOA; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Piccolo

Software Authors:   Shibutani, K., Isobe, T., Hiwatari, H., Mitsuda, A., Akishita, T., Shirai, T.
Referenced in: 52 Publications (2011–2022)
Related Software: PRESENT; PRINCE; SIMON; TWINE; CLEFIA; KATAN; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

NetSolve

Software Authors:   Dorian Arnold, Sudesh Agrawal, Susan Blackford, Jack Dongarra, Christoph Fabianek, Tomo Hiroyasu, EricMeek, Michelle Miller, Kiran Sagi, Keith Seymour, Zhiao Shi, and Sathish Vadhiyar
Referenced in: 43 Publications (1997–2016)
Related Software: Ninf-G/MPI; Nimrod/G; Globus Toolkit; ScaLAPACK; Condor-G; Diet; …
Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Numerical analysis (65-XX)

SPINS

Software Authors:   ADRIAN PERRIG, ROBERT SZEWCZYK, J.D. TYGAR, VICTOR WEN and DAVID E. CULLER
Referenced in: 26 Publications (2002–2022)
Related Software: TinyECC; TAG; AVISPA; TelegraphCQ; spongent; PRESENT; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SWIFFT

Software Authors:   Lyubashevsky, Vadim; Micciancio, Daniele; Peikert, Chris; Rosen, Alon
Referenced in: 48 Publications (2008–2021)
Related Software: NTRU; NTL; SWIFFTX; CUDA; BKZ; GitHub; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

Condor-G

Software Authors:   James Frey, Todd Tannenbaum, Miron Livny, Ian Foster, Steven Tuecke
Referenced in: 22 Publications (2001–2014)
Related Software: Globus Toolkit; Java CoG Kit; Nimrod/G; Cactus; NetSolve; GrADS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

HIGHT

Software Authors:   Jaesang; Jeong, Kitae; Kim, Hyun; Kim, Jongsung; Chee, Seongtaek
Referenced in: 44 Publications (2006–2022)
Related Software: PRESENT; KATAN; KTANTAN; CLEFIA; SIMON; mCrypton; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)

JBoss

Software Authors:   Red Hat Inc.
Referenced in: 21 Publications (2004–2016)
Related Software: Drools; AspectJ; WebSphere; JAsCo; SAVARA; Scribble; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LBlock

Software Authors:   Wu, Wenling; Zhang, Lei
Referenced in: 46 Publications (2011–2022)
Related Software: PRESENT; TWINE; KTANTAN; CLEFIA; SIMON; KATAN; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FLASH

Software Authors:   Patarin, Jacques; Courtois, Nicolas; Goubin, Louis
Referenced in: 47 Publications (2001–2021)
Related Software: FGb; FLASH; Magma; HE-E1GODF; PARAMESH; MAP; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

XM2VTSDB

Software Authors:   Messer, K., Mastas, J., Kittler, J., Luettin, J., Maitre, G.
Referenced in: 22 Publications (2000–2017)
Related Software: FERET; AR face; CMU PIE; LFW; BioID Face Database; Multi-PIE; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SPECK

Software Authors:   Ray Beaulieu; Douglas Shors; Jason Smith; Stefan Treatman-Clark; Bryan Weeks; Louis Wingers
Referenced in: 42 Publications (2014–2022)
Related Software: SIMON; SIMECK; PRESENT; PRINCE; Piccolo; LED; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CMQV+

Software Authors:   Li, Hui; Wu, Chuankun
Referenced in: 37 Publications (2005–2022)
Related Software: NAXOS; AVISPA; EC2C-PAKA; GRace; NIST Statistical Test Suite; PRAND; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

SKINNY

Software Authors:   Beierle, Christof; Jean, Jérémy; Kölbl, Stefan; Leander, Gregor; Moradi, Amir; Peyrin, Thomas; Sasaki, Yu; Sasdrich, Pascal; Sim, Siang Meng
Referenced in: 33 Publications (2016–2022)
Related Software: SIMON; PRESENT; Midori; tweakey; PRINCE; SPECK; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Curve25519

Software Authors:   Bernstein, D.J.
Referenced in: 34 Publications (2006–2022)
Related Software: eBACS; mpFq; EFD; eBASH; GitHub; Magma; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-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)

Skein Hash

Software Authors:   N. Ferguson, S. Lucks, B. Schneier, D. Whiting, M. Bellare, T. Kohno, J. Callas and J. Walker
Referenced 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)

EasyCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Heraud, Sylvain; Béguelin, Santiago Zanella
Referenced in: 32 Publications (2011–2021)
Related Software: Coq; F*; CryptHOL; Isabelle/HOL; AVISPA; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

TEA

Software Authors:   Wheeler, David J.; Needham, Roger M.
Referenced in: 30 Publications (1995–2020)
Related Software: XTEA; PRESENT; Camellia; HIGHT; KATAN; KTANTAN; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

tweakey

Software Authors:   Jean, Jérémy; Nikolić, Ivica; Peyrin, Thomas
Referenced in: 28 Publications (2014–2021)
Related Software: SKINNY; SIMON; Skein Hash; Square; Romulus; PRESENT; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CRYPTIM

Software Authors:   Ustimenko, Vasyl
Referenced in: 29 Publications (2001–2015)
Related Software: CRYPTALL; Galois Field Arithmetic Library
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Computer science (68-XX)

MISTY

Software Authors:   Matsui, Mitsuru
Referenced in: 27 Publications (1997–2021)
Related Software: Camellia; PRESENT; Square; ICEBERG; Serpent; PICARO; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-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)

NOEKEON

Software Authors:   Daemen, J., Peeters, M., Assche, G.V., Rijmen, V.
Referenced in: 25 Publications (2002–2022)
Related Software: PRESENT; SIMON; LED; PRINCE; SIMECK; SPECK; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

UCLID

Software Authors:   Randal E. Bryant; Shuvendu K. Lahiri; Sanjit A. Seshia
Referenced in: 24 Publications (2002–2020)
Related Software: Chaff; PVS; MiniSat; SMT-LIB; cvc3; Siege; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

MICKEY

Software Authors:   Babbage, S., Dodd, M.
Referenced in: 21 Publications (2008–2021)
Related Software: Grain; eSTREAM; Trivium; PRESENT; Rabbit; KATAN; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); Computer science (68-XX)

FOX

Software Authors:   Junod, P., Vaudenay, S.
Referenced in: 23 Publications (2005–2021)
Related Software: LED; Twofish; KTANTAN; Camellia; MISTY; PRESENT; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX)

MOPS

Software Authors:   Chen, H., Wagner, D.
Referenced in: 15 Publications (2003–2019)
Related Software: SLAM; BLAST; SPIN; Bebop; CIL; SIMPLIFY; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

spongent

Software Authors:   Bogdanov, A., Knežević, M., Leander, G., Toz, D., Varıcı, K., Verbauwhede, I.
Referenced in: 20 Publications (2011–2022)
Related Software: PRESENT; Keccak; KTANTAN; KATAN; Piccolo; Quark; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Quantum theory (81-XX)

FrodoKEM

Software Authors:   Erdem Alkim, Joppe W. Bos, Léo Ducas, Karen Easterbrook, Brian LaMacchia, Patrick Longa, Ilya Mironov, Michael Naehrig, Valeria Nikolaenko, Chris Peikert, Ananth Raghunathan, Douglas Stebila
Referenced in: 22 Publications (2018–2022)
Related Software: McEliece; Falcon; Saber; GitHub; BKZ; NAXOS; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-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)

XtremWeb

Software Authors:   –
Referenced in: 10 Publications (2001–2017)
Related Software: BOINC; Charlotte; Javelin++; Globus Toolkit; SATO; PSATO; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Poly1305-AES

Software Authors:   Bernstein, Daniel J.
Referenced in: 20 Publications (2005–2021)
Related Software: MMH; SNOW; SipHash; ChaCha; eSTREAM; GitHub; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Computer science (68-XX)

SIDH

Software Authors:   Costello, C., Longa, P., Naehrig, M.
Referenced in: 16 Publications (2016–2022)
Related Software: SIKE; GitHub; PQM4; HMQV; McEliece; SageMath; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

F*

Software Authors:   Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
Referenced in: 20 Publications (2011–2020)
Related Software: Coq; EasyCrypt; Nuprl; Idris; Irdis; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Jif

Software Authors:   A.C. Myers, L. Zheng, S. Zdancewic, S. Chong, N. Nystrom
Referenced in: 18 Publications (2006–2021)
Related Software: FlowFox; CAVA LTL Modelchecker; Ur/Web; CoSMed; seL4; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

KASUMI

Software Authors:   Satoh, Akashi; Morioka, Sumio
Referenced in: 20 Publications (2002–2016)
Related Software: Camellia; Whirlpool; VBFlib; MatPack; CrypTool; boolfun; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

mCrypton

Software Authors:   Plos, Thomas; Dobraunig, Christoph; Hofinger, Markus; Oprisnik, Alexander; Wiesmeier, Christoph; Wiesmeier, Johannes
Referenced in: 19 Publications (2008–2021)
Related Software: PRESENT; HIGHT; KTANTAN; KATAN; CLEFIA; Piccolo; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

MetaMorph

Software Authors:   Maturana, F.; Shen, W.; Norrie, D.H.
Referenced in: 18 Publications (1999–2010)
Related Software: Aglets; Moise+; Inventor; CATIA V5; Tabu search; IMMUNE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RICH Decisions

Software Authors:   Salo, A., Punkka, A.
Referenced in: 18 Publications (2005–2021)
Related Software: ComPAIRS; PRIME Decisions; VIP Analysis; UTA Plus; M-MACBETH; PROBE; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Rabbit

Software Authors:   Martin Boesgaard, Mette Vesterager, Thomas Pedersen, Jesper Christiansen, Ove Scavenius
Referenced in: 17 Publications (2003–2016)
Related Software: eSTREAM; Grain; SOSEMANUK; MICKEY; Salsa20; Trivium; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SNAP

Software Authors:   Czajkowski, Karl; Foster, Ian; Kesselman, Carl; Sander, Volker; Tuecke, Steven
Referenced in: 10 Publications (2002–2013)
Related Software: Globus Toolkit; Open Science Grid; Condor-G; Java CoG Kit; Pegasus; Jess; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

TAMARIN

Software Authors:   Meier, S., Schmidt, B., Cremers, C., Basin, D.
Referenced in: 18 Publications (2015–2021)
Related Software: AVISPA; Maude-NPA; Akiss; Maude; ProVerif; Apte; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

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)

PICARO

Software Authors:   Piret, G., Roche, T., Carlet, C.
Referenced in: 17 Publications (2013–2022)
Related Software: PRESENT; SIMON; PRINCE; SIMECK; SPECK; Piccolo; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX)

Stranger

Software Authors:   Fang Yu, Muath Alkhalaf, Tevfik Bultan
Referenced in: 17 Publications (2011–2021)
Related Software: HAMPI; Z3str3; Norn; z3; S3; PASS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UNICORE

Software Authors:   Huber, Valentina
Referenced in: 13 Publications (2001–2010)
Related Software: NorduGrid; Globus Toolkit; GridSim; GridLab; EMan; ASKALON; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Binder

Software Authors:   DeTreville, J.
Referenced in: 14 Publications (2005–2022)
Related Software: DKAL; PORGY; Ruby; Haskell; LUBM; swrl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Lilliput

Software Authors:   Berger, Thierry P. Author Profile; Francq, Julien; Minier, Marine; Thomas, Gaël
Referenced in: 16 Publications (2016–2022)
Related Software: SKINNY; Square; Midori; SIMON; SIMECK; Piccolo; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

McOE

Software Authors:   E. Fleischmann, C. Forler, S. Lucks
Referenced in: 16 Publications (2012–2021)
Related Software: ELmD; SKINNY; MCBC; COBRA; Skein Hash; MMH; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

MMH

Software Authors:   Halevi, Shai; Krawczyk, Hugo
Referenced in: 16 Publications (1997–2021)
Related Software: Poly1305-AES; McOE; ELmD; MCBC; ELmE; eSTREAM; …
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX)

RELIC

Software Authors:   Aranha, D.F., Gouvêa, C.P.L.
Referenced in: 10 Publications (2010–2021)
Related Software: GitHub; MIRACL; mpFq; TinyECC; NaCl; eBACS; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

scyther

Software Authors:   Cremers, C.
Referenced in: 14 Publications (2009–2017)
Related Software: AVISPA; Akiss; TAMARIN; Casper; ConfiChair; Apte; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

VIFF

Software Authors:   Damgård, Ivan; Geisler, Martin; Krøigaard, Mikkel; Nielsen, Jesper Buus
Referenced in: 14 Publications (2009–2022)
Related Software: Sharemind; FairplayMP; TASTY; VMCrypt; fhe; MP-SPDZ; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-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)

QUAD

Software Authors:   Berbain, Côme; Gilbert, Henri; Patarin, Jacques
Referenced in: 15 Publications (2006–2020)
Related Software: McEliece; eSTREAM; ZHFE; CUDA; SNOW; Scream; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

IRIS

Software Authors:   Tsai, J., Rathi, S., Kiekintveld, C., Ordóñez, F., Tambe, M.
Referenced in: 14 Publications (2010–2022)
Related Software: VRP
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

M-TREE

Software Authors:   Lu, Chenghuai; Zhang, Tao; Shi, Weidong; Lee, Hsien-Hsin S.
Referenced in: 14 Publications (2005–2021)
Related Software: BISIMULATOR; CADP; Exp.Open; SPIN; LOTOS; CAESAR; …
Main Fields: Computer science (68-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)

MiniLEGO

Software Authors:   Frederiksen, Tore Kasper; Jakobsen, Thomas Pelle; Nielsen, Jesper Buus; Nordholt, Peter Sebastian; Orlandi, Claudio
Referenced in: 13 Publications (2013–2021)
Related Software: TinyLEGO; FleXOR; TASTY; EMP-toolkit; JustGarble; VMCrypt; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

SecureUML

Software Authors:   Lodderstedt, Torsten; Basin, David; Doser, Jürgen
Referenced in: 7 Publications (2002–2014)
Related Software: Z; SPIN; HOL-OCL; STG; TorX; AGATHA; …
Main Fields: Computer science (68-XX)

Firmato

Software Authors:   Bartal, Y., Mayer, A., Nissim, K., Wool, A.
Referenced in: 6 Publications (2001–2018)
Related Software: FIREMAN; Skybox; Snort; Graphviz; nftables; iptables; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

G-Hadoop

Software Authors:   Zhao, Jiaqi; Wang, Lizhe; Tao, Jie; Chen, Jinjun; Sun, Weiye; Ranjan, Rajiv; Kolodziej, Joanna; Streit, Achim; Georgakopoulos, Dimitrios
Referenced in: 8 Publications (2014–2018)
Related Software: Hadoop; MapReduce; CUDA; Bigtable; OpenNebula; Apache Spark; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

SeaSign

Software Authors:   De Feo, Luca; Galbraith, Steven D.
Referenced in: 12 Publications (2019–2022)
Related Software: GitHub; SageMath; Magma; fpLLL; fpylll; gmp; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

BitBlaze

Software Authors:   D.X. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M.G. Kang, Z. Liang, J. Newsome, P. Poosankam, P. Saxena
Referenced in: 6 Publications (2012–2019)
Related Software: BAP; Dytan; DART; Java PathFinder; VMHunt; NISLVMP; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

EC2C-PAKA

Software Authors:   Byun, Jin Wook; Lee, Dong Hoon; Lim, Jong In
Referenced in: 9 Publications (2007–2013)
Related Software: CMQV+; HMQV
Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

FleXOR

Software Authors:   Kolesnikov, Vladimir; Mohassel, Payman; Rosulek, Mike
Referenced in: 11 Publications (2014–2022)
Related Software: JustGarble; MiniLEGO; GitHub; McEliece; libgarble; OpenSSL; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Interrogator

Software Authors:   Jonathan K Millen
Referenced in: 8 Publications (1998–2013)
Related Software: PVS; Isabelle/HOL; OFMC; HOL; Isar; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Minalpher

Software Authors:   Sasaki Y., Todo Y., Aoki K., Naito Y., Sugawara T., Murakami Y., Matsui M., Hirose S.
Referenced in: 11 Publications (2015–2022)
Related Software: SKINNY; ELmD; LED; Piccolo; tweakey; spongent; …
Main Fields: Combinatorics (05-XX); Information and communication theory, circuits (94-XX)

ZHFE

Software Authors:   Porras, J., Baena, J., Ding, J.
Referenced in: 11 Publications (2014–2021)
Related Software: Magma; QUAD; fgb_sage; Sidon Cryptosystem; M4GB; FGb; …
Main Fields: Number theory (11-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

ARXtools

Software Authors:   Leurent, Gaëtan
Referenced in: 10 Publications (2013–2019)
Related Software: SipHash; SIMON; SIMECK; XTEA; Skein Hash; YAARX; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Beaver

Software Authors:   Sanjit Seshia
Referenced in: 9 Publications (2010–2021)
Related Software: Yices; z3; MathSAT; Boolector; MiniSat; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

BIOMET

Software Authors:   Garcia-Salicetti, Sonia; Beumier, Charles; Chollet, Gérard; Dorizzi, Bernadette; Leroux les Jardins, Jean; Lunter, Jan; Ni, Yang; Petrovska-Delacrétaz, Dijana
Referenced in: 6 Publications (2003–2010)
Related Software: XM2VTSDB; PRMLT; FRGC
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Charlotte

Software Authors:   Baratloo A, Karaul M, Kedem Z, Wijckoff P
Referenced in: 4 Publications (2006–2017)
Related Software: BOINC; XtremWeb; Javelin++; Globus Toolkit; MapReduce; MAGDA; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ComFoRT

Software Authors:   Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau
Referenced in: 10 Publications (2005–2011)
Related Software: MAGIC; SatAbs; Bebop; Aglets; TLPVS; KLAIM; …
Main Fields: Computer science (68-XX)

Falcon

Software Authors:   Pierre-Alain Fouque, Jeffrey Hoffstein, Paul Kirchner, Vadim Lyubashevsky, Thomas Pornin, Thomas Prest, Thomas Ricosset, Gregor Seiler, William Whyte, Zhenfei Zhang
Referenced in: 8 Publications (2019–2022)
Related Software: Saber; NTRU; NTRUSign; GeMSS; FrodoKEM; GitHub; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

FoCaLiZe

Software Authors:   INRIA; Pessaux, F., Weia, P., Doligez, D.
Referenced in: 8 Publications (2015–2021)
Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

graph2vec

Software Authors:   Annamalai Narayanan, Mahinthan Chandramohan, Rajasekar Venkatesan, Lihui Chen, Yang Liu, Shantanu Jaiswal
Referenced in: 9 Publications (2018–2021)
Related Software: node2vec; DeepWalk; word2vec; AFGen; PyGSP; NumPy; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Iolus

Software Authors:   Mittra, S.
Referenced in: 8 Publications (2006–2022)
Related Software: Cryptfs; StegFS
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

MicroEliece

Software Authors:   Eisenbarth, Thomas; Güneysu, Tim Author Profile; Heyse, Stefan; Paar, Christof
Referenced in: 10 Publications (2008–2021)
Related Software: McEliece; Kyber; SPHINCS; brnoeth.lib; Keccak
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)