Plateforme publique permettant aux citoyens de déposer et suivre électroniquement leurs demandes d'autorisations d'urbanisme (permis de construire, déclarations préalables, etc.). Les services de l'État et les mairies instruisent les dossiers en ligne, échangent des documents et prennent des décisions administratives. Le système facilite les échanges sécurisés entre usagers, collectivités et administrations pour accélérer les démarches administratives.

Ce service public permet aux utilisateurs de gérer des listes de diffusion électroniques. Il offre des fonctionnalités pour s'abonner ou se désabonner à des listes, consulter les archives des messages échangés, et administrer les listes. Le système facilite également la recherche et la navigation parmi les listes disponibles, organisées par catégories. Destiné aux communautés éducatives et administratives, il assure une communication collaborative et sécurisée.

SICLE est une plateforme sécurisée dédiée à la transmission électronique des décisions des organismes de sécurité sociale vers l'État. Elle permet aux conseils d'administration de ces organismes de déposer leurs décisions conformément au code de la sécurité sociale, facilitant ainsi le contrôle de légalité exercé par les autorités compétentes. Le système fluidifie les échanges et centralise la gestion des transmissions pour une meilleure efficacité administrative.

Ce guide d'implémentation FHIR définit les spécifications techniques pour la prescription électronique de médicaments en France. Il vise à harmoniser les différents standards existants (PN-13, CDA, FHIR) en un cadre moderne et interopérable, conforme aux exigences européennes et nationales. Destiné aux acteurs de santé, il facilite l'échange sécurisé de prescriptions entre systèmes informatiques, en s'appuyant sur des profils FHIR validés et des référentiels métiers comme le RUIM.

Ce projet fournit une couche logicielle pour interagir avec des systèmes embarqués utilisant le protocole IPBUS. Il permet de configurer, programmer et diagnostiquer des cartes électroniques équipées de FPGA, notamment pour la gestion de mémoire flash et la communication sécurisée avec le matériel. Utilisé principalement dans des environnements de recherche et d'industrie pour le développement et la maintenance de systèmes électroniques complexes.

Outil permettant d'évaluer la résistance des circuits électroniques aux injections de fautes, notamment pour sécuriser les processeurs. Il analyse la robustesse des designs contre des attaques matérielles en partitionnant les composants et en vérifiant leur intégrité. Utilisé dans le domaine de la cybersécurité matérielle, il aide à identifier les failles exploitables et à renforcer la fiabilité des systèmes critiques comme les CPU sécurisés.

OIDEli est une solution open source conçue pour sécuriser les élections électroniques en intégrant l'authentification OpenID avec des preuves d'éligibilité basées sur des preuves à divulgation nulle de connaissance (ZKP). Elle permet de vérifier l'éligibilité des électeurs de manière transparente et sécurisée, tout en garantissant l'anonymat des votes. Le système est intégré à la plateforme Belenios pour des élections fiables et auditées.

Ce projet développe un protocole de billetterie électronique innovant permettant la création, le transfert et la vérification de billets anonymes tout en garantissant leur traçabilité et leur sécurité. Il s'appuie sur des mécanismes cryptographiques avancés pour assurer l'anonymat des utilisateurs et l'intégrité des transactions, tout en permettant des audits indépendants. Le système est conçu pour des applications nécessitant une gestion de billets sécurisée et respectueuse de la vie privée.

Outil de simulation et de validation dédié aux transactions MHD (Mobile Health Document) dans le cadre du Dossier Patient Électronique Suisse (EPR/DEP). Il permet de tester et valider la conformité des systèmes de santé en simulant des scénarios client et serveur pour l'échange sécurisé de documents médicaux via des profils FHIR adaptés aux spécificités suisses.

Solution intégrée dédiée à la gestion des infrastructures de sécurité pour les systèmes d'information critiques. Elle permet de générer, valider et administrer des certificats électroniques, sécuriser les communications via TLS, et auditer les échanges pour garantir la conformité aux normes internationales. Utilisée principalement dans les domaines de la santé et des services publics, elle assure l'authenticité, l'intégrité et la confidentialité des données.