
Magma
 Referenced in 2825 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

MiniSat
 Referenced in 528 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

SINGULAR
 Referenced in 1362 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

NESSIE
 Referenced in 4 articles
[sw02725]
 NESSIE: A European approach to evaluate cryptographic algorithms...

Armadillo
 Referenced in 70 articles
[sw05863]
 Armadillo is a C++ linear algebra library (matrix...

Ptolemy
 Referenced in 77 articles
[sw07459]
 A modular formal semantics for Ptolemy. Ptolemy is...

SIMECK
 Referenced in 45 articles
[sw13823]
 SIMECK is a family of 3 lightweight block...

SIMON
 Referenced in 82 articles
[sw13824]
 Simon is a family of lightweight block ciphers...

Metropolis
 Referenced in 17 articles
[sw16265]
 Metropolis: an integrated electronic system design environment. oday...

SPECK
 Referenced in 32 articles
[sw33879]
 The Simon and Speck Block Ciphers on AVR...