Explore projects
-
Updated
-
Updated
-
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated -
-
POTTIER Francois / alphaCaml
BSD 3-Clause "New" or "Revised" LicenseUpdated -
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
Updated
-
POTTIER Francois / arrays
GNU General Public License v3.0 or laterImmutable arrays and mutability-polymorphic arrays for OCaml.
Updated -
Secure implementation of the cryptographic operation involved in SAE(-PT)
Updated -
Updated
-
HIRSCHI Lucca / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
GAUDRY Pierrick / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
MONDON NAVAZO Clement / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
Anselme / belenios-cai
GNU Affero General Public License v3.0Updated -
belenios-forks / belenios-swergas
GNU Affero General Public License v3.0Verifiable online voting system
Updated -
In this project, we implement three existing broadcast encryption schemes: ElGamal baseline, Boneh-Franklin, and a new scheme based on ElGamal.
Updated