Procédé de vérification, mis en oeuvre par un dispositif électronique comprenant un processeur et une mémoire, d'une première donnée (k) donnée par une première formule mathématique (A) : [Math 11] dans laquelle : - k représente ladite première donnée (k) ; - représente l'application d'une première fonction logique OU EXCLUSIF à N entrées, N étant un entier ; et - Xi représente N deuxièmes données (X1, …, XN) indépendantes de la première donnée (k), i variant de 1 à N, ledit procédé comprenant une étape de vérification (404) d'une deuxième formule mathématique (B) : [Math 12] dans laquelle CRC( ) représente l'image d'une donnée par une deuxième fonction (300) de contrôle de redondance cyclique linéaire par rapport à la fonction logique OU EXCLUSIF, dans lequel la première donnée (k) n'est pas stockée dans ladite mémoire, l'image de la première donnée (k) par ladite deuxième fonction (CRC) est stockée dans ladite mémoire, et lesdites N deuxièmes données sont stockées dans ladite mémoire. Procédé selon la revendication 1, dans lequel au moins une desdites N deuxièmes données (X1, …, XN) est obtenue de façon aléatoire. Procédé selon la revendication 1 ou 2, dans lequel la deuxième fonction (300) est une fonction de contrôle de redondance cyclique de type polynomiale. Procédé selon la revendication 3, dans lequel la deuxième fonction (300) est une fonction de contrôle de redondance cyclique de type polynomiale utilisé dans l'algorithme connu sous la dénomination commerciale CRC32. Procédé selon l'une quelconque des revendications 1 à 4, dans lequel l'entier N est supérieur ou égal à deux. Procédé selon l'une quelconque des revendications 1 à 5, dans lequel la première donnée (k) est une clé de chiffrement et/ou de déchiffrement. Procédé selon la revendication 6, dans lequel ladite première donnée (k) est une clé pouvant être utilisée dans différents types d'algorithme de cryptographie comme l'AES. Procédé selon la revendication 7, dans lequel ladite première donnée (k) est une donnée pouvant être utilisée dans différents types d'algorithme de cryptographie comme les algorithmes de cryptographie sur courbes elliptiques, les algorithmes de signature comme ceux connues sous la dénomination commerciale CRYSTALS-Dilithium, ou les algorithmes d'encapsulation de clé connues sous la dénomination commerciale Kyber. Dispositif électronique comprenant un processeur et une mémoire, et étant adapté à mettre en oeuvre un procédé de vérification d'une première donnée (k) donnée par une première formule mathématique (A) : [Math 13] dans laquelle : - k représente ladite première donnée (k) ; - représente l'application d'une première fonction logique OU EXCLUSIF à N entrées, N étant un entier ; et - Xi représente N deuxièmes données (X1, …, XN) indépendantes de la première donnée (k), i variant de 1 à N, ledit procédé comprenant une étape de vérification (404) d'une deuxième formule mathématique (B) : [Math 14] dans laquelle CRC( ) représente l'image d'une donnée par une deuxième fonction (300) de contrôle de redondance cyclique linéaire par rapport à la fonction logique OU EXCLUSIF dans lequel la première donnée (k) n'est pas stockée dans ladite mémoire, l'image de la première donnée (k) par ladite deuxième fonction (CRC) est stockée dans ladite mémoire, et lesdites N deuxièmes données sont stockées dans ladite mémoire.