package mec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Mec_permutation`Source

Sourcemodule Hades : sig ... end

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

Sourcemodule Hades_linear_optimisation : sig ... end

Sourcemodule Marvellous : sig ... end

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