- Referenced in 2825 articles
- Computer algebra system (CAS). Magma is a large...
- Referenced in 528 articles
- An extensible SAT-solver. MiniSat is a minimalistic...
- Referenced in 1362 articles
- SINGULAR is a Computer Algebra system (CAS) for...
- Referenced in 4 articles
- NESSIE: A European approach to evaluate cryptographic algorithms...
- Referenced in 70 articles
- Armadillo is a C++ linear algebra library (matrix...
- Referenced in 77 articles
- A modular formal semantics for Ptolemy. Ptolemy is...
- Referenced in 45 articles
- SIMECK is a family of 3 lightweight block...
- Referenced in 82 articles
- Simon is a family of lightweight block ciphers...
- Referenced in 17 articles
- Metropolis: an integrated electronic system design environment. oday...
- Referenced in 32 articles
- The Simon and Speck Block Ciphers on AVR...