Assertion list
hash function (subgroup of function ) → HasProperty
Results from Ascent++: 3
hash function → HasProperty → good 0.68
hash function → HasProperty → secure 0.68
hash function → HasProperty → simple 0.68