Le projet cv2fstar-material est un dépôt de code source contenant une extension pour l'outil CryptoVerif, qui permet de vérifier la correction et la sécurité des protocoles cryptographiques. Cette extension, développée dans le cadre d'une thèse de doctorat, permet de générer automatiquement du code sécurisé à partir de spécifications formelles, améliorant ainsi l'efficacité et la fiabilité du processus de développement de protocoles cryptographiques.

RAMSES-2 est un outil permettant la génération automatique de code à partir de modèles AADL. Il prend en charge différents protocoles de communication et permet la génération de configurations cibles spécifiques. Il gère également des workflows de génération.

Franca-gen est un outil de génération de code basé sur Java, conçu pour créer des implémentations de protocoles à partir de spécifications franca IDL. Il prend en charge plusieurs langages de programmation et permet de générer des stubs et des squelettes d'implémentation.

Proposition de protocole Cluster Exposure Verification (Cléa) pour avertir les participants d'événements privés ou les personnes présentes dans des lieux commerciaux ou publics s'ils ont été exposés au COVID-19. Le protocole implémente des spécifications légères pour la génération de codes QR dynamiques et leur décodage.