mec.permutation
Mec_permutation
mec
mec.Curve
mec.CurveSig
mec.curve
mec.digestif
mec.hash
mec.signature
mec.utils
mec_curve_utils
module Hades : sig ... end
HADES Strategy, based on On a Generalization of Substitution-Permutation Networks: The HADES Design Strategy
module Hades_linear_optimisation : sig ... end
module Marvellous : sig ... end
Marvellous Strategy, based on Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols