Procédé de vérification, par un circuit de vérification, de l’intégrité d’un logiciel (314) : - le chargement du logiciel dans une première mémoire volatile (306) ; - le calcul d’une première valeur de vérification par le circuit de vérification ; - le calcul d’une deuxième valeur de vérification en appliquant une fonction physiquement non clonable (200) à la première valeur de vérification ; - la comparaison, par le circuit de vérification, de la deuxième valeur de vérification avec une valeur de référence ; et - s’il est déterminé que la deuxième valeur de vérification diffère de la valeur de référence, la génération d’un signal d’avertissement en sortie du circuit de vérification. Procédé selon la revendication 1 comprenant en outre, avant la vérification de l’intégrité du logiciel (314), l’obtention de la valeur de référence en appliquant la fonction physiquement non clonable (200) à une valeur générée à partir du logiciel. Procédé selon la revendication 2, dans lequel, l’obtention de la valeur de référence en appliquant la fonction physiquement non clonable (200) comprend le stockage d’une image de la fonction physiquement non clonable dans une mémoire (600) d’un dispositif externe au circuit de vérification, et la génération de la valeur de référence à partir du logiciel et de l’image, le procédé comprenant en outre le stockage de la valeur de référence dans une deuxième mémoire non volatile (304). Procédé selon la revendication 2, dans lequel l’obtention de la valeur de référence est effectuée lors du chargement du logiciel (314) dans la première mémoire (306) et dans lequel la valeur de référence est stockée dans la première mémoire. Procédé selon la revendication 4, dans lequel, l’obtention de la valeur de référence se fait par application de la fonction physiquement non clonable (200) à une valeur d’entrée basée sur la valeur générée à partir du logiciel (314) et une valeur aléatoire. Procédé selon la revendication 5, dans lequel la valeur aléatoire est égale à une première valeur lors d’un premier démarrage et égale à une deuxième valeur, différente de la première valeur, lors d’un deuxième démarrage du circuit de vérification. Procédé selon l’une quelconque des revendications 1 à 6, comprenant en outre, avant le chargement du logiciel (314) dans la première mémoire (306), l’ajout d’une instruction de vérification au logiciel déclenchant le calcul de la première valeur de vérification. Procédé selon la revendication 7, dans lequel le circuit de vérification implémente un compteur configuré pour indiquer qu’un délai après le chargement du logiciel (314) dans la première mémoire (306) est atteint, le circuit de vérification étant configuré pour vérifier, une fois le délai atteint, que l’instruction de vérification a été exécutée. Procédé selon l’une quelconque des revendications 1 à 8, dans lequel la fonction physiquement non clonable (200) est une fonction physiquement non clonable robuste, propre au circuit de vérification. Circuit comprenant : - une première mémoire volatile (306) dans laquelle est chargé le logiciel ; - un processeur (310) configuré pour calculer une première valeur de vérification ; - un circuit à fonction physiquement non clonable (200) configuré pour générer une deuxième valeur de vérification basée sur la première valeur de vérification ; et - un circuit de vérification configuré pour vérifier l’intégrité d’un logiciel (314) en comparant la deuxième valeur de vérification avec une valeur de référence et en générant, en sortie, un signal d’avertissement si la deuxième valeur de vérification diffère de la valeur de référence. Circuit selon la revendication 10, dans lequel le circuit à fonction physiquement non clonable (200) est en outre configuré pour, avant la vérification de l’intégrité du logiciel, générer la valeur de référence sur la base d’une valeur générée par le processeur et à partir du logiciel (314). Circuit selon la revendication 11, dans lequel, la génération de la valeur de référence par le circuit à fonction physiquement non clonable (200) comprend le stockage d’une image du circuit à fonction physiquement non clonable dans une mémoire (600) d’un dispositif externe au circuit de vérification, le circuit à fonction physiquement non clonable étant en outre configuré pour générer la valeur de référence à partir du logiciel (314) et de l’image, le circuit de vérification étant en outre configuré pour stocker la valeur de référence dans une deuxième mémoire non volatile (304). Circuit selon la revendication 11, dans lequel le circuit à fonction physiquement non clonable (200) est configuré pour générer la valeur de référence lors du chargement du logiciel dans la première mémoire (306), le circuit de vérification étant en outre configuré pour stocker la valeur de référence dans la première mémoire. Circuit selon l’une quelconque des revendications 10 à 13, dans lequel le circuit à fonction physiquement non clonable (200) est configuré pour implémenter une fonction physiquement non clonable robuste. Système d’initialisation d’un dispositif, le système comprenant : - le circuit selon l’une quelconque des revendications 10 à 12 et 14 ; - un dispositif externe au circuit ; et - une mémoire (600) d’un dispositif externe configurée pour stocker une image de la fonction réalisée par le circuit à fonction physiquement non clonable (200), le dispositif externe étant configuré pour générer la valeur de référence sur la base de l’image de la fonction réalisée par le circuit à fonction physiquement non clonable.