Les ordinateurs actuels ne sont pas aussi sécurisés que leur développement ubiquitaire et leur interconnexion le nécessiteraient. En particulier, on ne peut même pas garantir l’exécution sécurisée et confidentielle d’un programme face à un attaquant logiciel (l’administrateur système) ou matériel (analyseur logique sur les bus, contrôle des ressources de l’ordinateur...). Dans cet article est proposée une architecture utilisant du chiffrement fort avec coopération du système d’exploitation pour se rapprocher de ces objectifs en essayant de garder de bonnes performances. Afin de prouver que les accès du processeur à sa mémoire extérieure sont globalement corrects et résister aux attaques par rejeu, on rajoute au niveau du cache en plus d’un chiffrement des lignes un vérificateur utilisant un arbre de hachage de MERKLE stocké lui-même en cache afin d’en accélérer le calcul. Enfin, des implications sur le système d’exploitation et quelques applications du système sont décrites.