Explore projects

Sources of the Abstract Categorial Development toolkit.

An actor library for OCaml 5

An OCaml library that helps deal with binding constructs in abstract syntax trees.

An OCaml library that helps deal with binding constructs in abstract syntax trees.

Immutable arrays and mutability-polymorphic arrays for OCaml.

Secure implementation of the cryptographic operation involved in SAE(-PT)

Verifiable online voting system http://www.belenios.org

Verifiable online voting system http://www.belenios.org

Verifiable online voting system http://www.belenios.org

Verifiable online voting system http://www.belenios.org

Verifiable online voting system

In this project, we implement three existing broadcast encryption schemes: ElGamal baseline, Boneh-Franklin, and a new scheme based on ElGamal.