geg - Generalized El-Gamal

This library provides an implementation of the 2008 paper of Doliskani, Malekian, and Zakerolhosseini. To my knowledge, it is the only library for El-Gamal with the permutation group.

It's currently a WIP. Feel free to submit patches, but I may not fix all reported issues immediately.

Installation

Install the permutations library first, then

idris --install elgamal.ipkg