• Keccak

  • Referenced in 80 articles [sw09834]
  • scope of the SHA-3 contest, we proposed the largest permutation, namely Keccak...
  • Twofish

  • Referenced in 35 articles [sw13585]
  • five finalists of the Advanced Encryption Standard contest, but it was not selected for standardization...
  • CONTEST

  • Referenced in 20 articles [sw12738]
  • CONTEST: A controllable test toolbox for MATLAB. Large, sparse networks that describe complex interactions ... testing linear system and eigenvalue solvers. CONTEST (CONtrollable TEST matrices) is a random network toolbox...
  • BradleyTerry2

  • Referenced in 22 articles [sw09554]
  • order or ‘home advantage’ effect or other ‘contest-specific’ effects. Model fitting is either...
  • ConTest

  • Referenced in 6 articles [sw09613]
  • methodology in our test generation tool - ConTest. ConTest combines the replay algorithm, which is essential ... debugging, with our interleaving test generation heuristics. ConTest also contains an instrumentation engine, a coverage ... detection capabilities. The greatest advantage of ConTest, besides finding bugs of course, is its minimal ... effect on the user. When ConTest is combined into the test harness, the user...
  • ATHENa

  • Referenced in 7 articles [sw29717]
  • candidates in the SHA-3 and CAESAR contests; Cryptographic architectures and implementations, e.g., basic iterative...
  • MCQ4Structures

  • Referenced in 4 articles [sw15705]
  • evaluation of models predicted within RNA-Puzzles contest. MCQ4Structures software is available as a free...
  • CryptLogVer

  • Referenced in 3 articles [sw13253]
  • Security margin evaluation of SHA-3 contest finalists through SAT-based attacks: Toolkit CryptLogVer...
  • vbdcast

  • Referenced in 3 articles [sw34857]
  • full summary of results submitted by other contest competitors...
  • PTrie

  • Referenced in 3 articles [sw35790]
  • edition of the Model Checking Contest (MCC’16). We experimentally document that with a modest...
  • T3

  • Referenced in 1 article [sw39691]
  • Benchmarking at Third Unit Testing Tool Contest. T3 is a light weight automated unit testing ... Java Unit Testing Tool Contest organized at the 8th International Workshop on Search-Based Software...
  • anymatrix

  • Referenced in 1 article [sw41518]
  • collection contains matrices organized into 7 groups: contest - the CONTEST test matrix toolbox of random...
  • LamatzSolver

  • Referenced in 1 article [sw22093]
  • Dung‘s abstract framework [4] in the contest of International Competition on Computational Models...
  • PNMC

  • Referenced in 1 article [sw29139]
  • results as shown in the Model Checking Contest 2015, which is used as a background...
  • PeCAn

  • Referenced in 1 article [sw30318]
  • datasets from the Petri nets’ model checking contests, showing promising results...
  • Minerva

  • Referenced in 1 article [sw32109]
  • cipher candidates competing in the CAESAR cryptographic contest, where best TPA ratio (without any specific...
  • FunctionObservers

  • Referenced in 1 article [sw34633]
  • power plants, optimal decision-making in contested areas with a patrolling enemy, disease propagation...
  • TransitFit

  • Referenced in 1 article [sw37855]
  • TransitFit to conduct an investigation into the contested presence of TTV signatures in WASP...