package mec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Mec_permutation.Marvellous`Source

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

Sourcemodule type PARAMETERS = sig ... end

Sourcemodule Make (Param : PARAMETERS) (Scalar : Ff_sig.PRIME) : sig ... end