Module `Mec.Permutation`

module Hades : sig ... end

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

module Marvellous : sig ... end

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

module HadesLinearOptimisation : sig ... end