Outil dédié à la curation de données biologiques, notamment pour les métadonnées et séquences génétiques. Il vérifie la conformité des formats, détecte les incohérences dans les champs comme la localisation ou la technologie de séquençage, et propose des corrections. Il compare également les données avec des rapports serveurs pour identifier les séquences à écarter ou à valider. Le résultat inclut des fichiers nettoyés et des logs pour faciliter la communication avec les soumissionnaires.

Ce projet rassemble des analyses symboliques du protocole WireGuard à l'aide d'assistants de preuve comme Tamarin, ProVerif et Sapic+. Il vérifie des propriétés de sécurité telles que l'accord, le secret et l'anonymat, et propose des correctifs pour améliorer ces propriétés. Les résultats sont obtenus via des modèles formels et des évaluations automatisées.