Belenios est un système de vote sécurisé et vérifiable qui met en œuvre une partie du protocole Helios-C. Il permet d'organiser des élections, de générer des bulletins de vote personnalisés et de vérifier les résultats des élections. Il est composé d'un outil en ligne de commande et d'un serveur web, tous deux utilisant le même backend et échangeant des messages dans un format commun.