package mec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

module type PARAMETERS = sig ... end
module Make (Param : PARAMETERS) (Scalar : Ff_sig.PRIME) : sig ... end

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