Le projet Capla Compiler est une version modifiée du compilateur CompCert, un compilateur C formellement vérifié. Il permet de transformer du code source C en code assembleur pour différentes architectures matérielles (ARM, PowerPC, RISC-V, x86) tout en garantissant la conformité du code généré par rapport au code source. Ce projet est utilisé dans des contextes où la fiabilité et la sécurité des programmes compilés sont critiques, notamment dans les domaines de la recherche, de l'éducation et de l'industrie.

SGNTX est un prototype de recherche sécurisée de variantes du génome entier basé sur Intel SGX. Il a été développé par S. Carpov et T. Tortech pour la 2ème piste du concours iDASH Privacy & Security Workshop 2017. L'objectif du concours était de développer des solutions évolutives utilisant des matériels sécurisés (c'est-à-dire SGX) pour permettre une recherche sécurisée de variantes du génome entier parmi plusieurs individus.

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.