CACHAÇA

La cryptologie forte, efficace, et sûre est essentielle pour la communication sécurisée en réseau. 
Actuellement, les techniques "haute-assurance" des méthodes formelles ne sont typiquement 
appliqués que lorsque les cryptosystèmes atteignent la maturité et normalisation. CACHAÇA 
apporte ces techniques au premier phase de conception et de mise en oeuvre des nouveaux 
cryptosystèmes postquantiques, pour créer des implantations logicielles rapides, sûres et 
portables, en particulier pour les environnements contraints tels que les objets connectés.