package mec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Mec_permutation.Hades`Source

HADES Strategy, based on On a Generalization of Substitution-Permutation Networks: The HADES Design Strategy

Sourcemodule type PARAMETERS = sig ... end

Sourcemodule Make (Param : PARAMETERS) (Scalar : Ff_sig.PRIME) : sig ... end

Build an HADES SP network based on the parameters and a scalar field