L'application RPA permet de contrôler la validité des signatures des documents stockés dans la GED Alfresco auprès de l'application du gouvernement Chorus - E-Signature.

ESignSante est une API REST de signature et de vérification de signature développée par l'Agence du Numérique en Santé. Elle permet de signer des documents aux formats XMLDSig, XADES et PADES BASELINE B, avec des signatures enveloppantes ou enveloppées. La vérification de signatures s'appuie sur les règles et procédures définies par l'ETSI. L'API offre également la possibilité de générer une preuve de vérification de signature signée en XADES BASELINE B enveloppée.

Harbor est une solution open-source permettant de gérer et servir des dépôts d'images de conteneurs dans un environnement sécurisé. Il offre des fonctionnalités telles que la vérification de vulnérabilités, la signature et la notification d'événements.

ESignSante est un outil exposant une API REST de signature et de vérification de signature pour les formats XMLDSig et XADES BASELINE B. Il permet la signature enveloppée ou enveloppante, la vérification de signature avec rapport et preuve de vérification, et la protection des appels d'opérations de signature par un secret.

Cette bibliothèque permet de gérer les jetons JWT (JSON Web Tokens), y compris la vérification de leur signature et l'extraction des valeurs du payload.

Ce projet implémente l'algorithme de calcul des ordres d'appel pour Parcoursup, une plateforme d'admission dans l'enseignement supérieur en France. Il fournit une spécification formelle de l'algorithme et des preuves de sa correction en utilisant différents outils de vérification.

CoqInE est un plugin pour le logiciel Coq qui traduit les preuves Coq en termes Dedukti vérifiables. Il fournit un fichier de signature fidèlement encodant la théorie sous-jacente de Coq. La sortie générée est destinée à être vérifiable à l'aide de la dernière version de Dedukti.

Ce projet permet de générer des clés cryptographiques à l'aide de l'algorithme BLS12-381, de vérifier des signatures et de calculer des preuves à divulgation nulle de connaissance. Il est basé sur le dépôt de code source kitaake.

La Taupe est un outil permettant d'extraire des données à partir de documents 2D-Doc, de vérifier leur signature et de les convertir en images. Les 2D-Doc sont des codes-barres 2D contenant des informations structurées, utilisés par l'administration française.