Belenios est un système de vote vérifiable qui implémente partiellement le protocole Helios-C. Il s'agit d'un outil en ligne permettant d'organiser des élections et de vérifier leurs résultats en toute sécurité. Le système repose sur des rôles distincts tels qu'un administrateur, une autorité de création de références, des électeurs et des scrutateurs.