ACE-RISCV : Framework de calcul confidentiel open source pour RISC-V

ACE-RISCV est un projet open source qui fournit un framework de calcul confidentiel avec un moniteur de sécurité formellement vérifié. Ciblant RISC-V avec la portabilité à l'esprit, il se concentre sur la vérification formelle de l'implémentation du moniteur de sécurité. Le projet prend en charge l'attestation locale et utilise la cryptographie post-quantique (PQC), notamment ML-KEM, SHA-384 et AES-GCM-256. Des instructions détaillées de compilation et d'exécution sont fournies pour une architecture RISC-V 64 bits.