Module Mec.PermutationSource

Sourcemodule Hades : sig ... end

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

Sourcemodule Marvellous : sig ... end

Marvellous Strategy, based on Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols

Sourcemodule HadesLinearOptimisation : sig ... end