Thales

The present invention provides a method for online biometric trait enrollment of a user, wherein the method comprises the steps of:• providing, by the user, identifying information during an online enrollment session through a personal device,• capturing, during the online enrollment session, by a built-in camera of the personal device, a first picture comprising the face of the user, and a second picture comprising the face of the user and a biometric trait of the user,• capturing, during the online enrollment session, by the built-in camera of the personal device or a secondary camera, a third picture comprising the biometric trait of the user,• assessing whether the face and the biometric trait of the second picture belong to the same person, whether the faces in the first and second pictures belong to the same person, and whether the biometric traits in the second and third pictures belong to the same person, and• if positive, associating the biometric trait of the third image with the user and enrolling the user with the associated biometric trait.

The present invention relates to a method for automatically verifying the correctness of a target computer program, said target computer program being defined by first code instructions in a given programming language, characterized in that it comprises performing, by a data processing unit (21) of a server (2), steps of: (a) Obtaining a collection of mathematical proof obligations, the truth of which implies correctness of the target computer program; (b) Constructing a set of proof strategies, each strategy being defined as a sequence of at least one elementary strategy based on a proof tactic and/or at least one automated prover run, for attempting to discharge at least one of said proof obligations; (c) Selecting a priority proof strategy among said set of proof strategies according to a given criterion; (d) Applying the selected priority proof strategy so as to attempt to discharge at least one of said proof obligations; (e) Determining whether the correctness of said target computer program is verified as a function of the proof obligations that have been successfully discharged.

A data carrier with a top surface and a bottom surface, said data carrier comprising: - a metal layer; - at least one electronic module; - at least one antenna; wherein the data carrier comprises at least a first tempered glass layer, said tempered glass layer being located between the metal layer and the at least one antenna.

The invention is a method implemented by an electronic apparatus (10) hosting a first application (11) able to perform payment transactions in conjunction with a terminal (20). The method comprises the steps of: obtaining, by the first application, first transaction data (D1) reflecting processing of a first payment transaction; retrieving by a hub application (18) hosted in the electronic apparatus, said first transaction data in a first format specific to the first application; converting and storing, by the hub application, in a memory (19) of the electronic apparatus, said first transaction data in a unified format different from said first format; and in response to receiving an export command (64) from a rendering device (15, 60), selecting, by the hub application, an export format based on the export command, then exporting a subset (40) of said first transaction data to the rendering device in said export format.

The present invention relates to a method for protecting the execution of SM4 cryptographic process against side-channel attacks by applying 32-bits masks to the inputs of the cryptographic operation and to the round keys. In order to make such a masking compatible with the 8-bit Sbox used by the tau transformation, the present invention generates all masks for all inputs and round keys from a single mask by applying to it a circular permutation shifting the mask to the right or the left by n*8 bits, with n in {0, ...,31} to get masked input values X' and masked round keys RK' such that when computing the value X'_i+1⊕X'_i+2⊕X'_i+3⊕RK'_i the result will be a 32-bits word composed of four 8-bit chunks all masked by the same mask M₀_xor. Then the invention replaces the Sbox to be used in SM4 algorithm by a masked Sbox, called SboxM incorporating M_0xor as input mask and another predefined mask as output mask.

The invention provides a method for detecting a side channel attack on an integrated circuit (100). For each input command received (400) and processed (401) by the integrated circuit, obtaining (403) at least a first piece of information and a second piece of information, and these pieces of information are accumulated (404) for N input commands. Input values are determined (405), comprising a first input based on the first pieces of information and a second input based on the second pieces of information. A classification model is applied (406) to the determined input values to output a classification result and a side channel attack is detected (407) based on the classification result. The first and second pieces of information are of different information types.

La présente invention concerne une méthode de positionnement satellitaire GNSS mettant en œuvre plusieurs satellites et plusieurs récepteurs GNSS comprenant une étape d'initialisation (110,120) dans laquelle chaque récepteur GNSS estime de manière indépendante sa position initiale et les positions des satellites qu'il a en visibilité, une étape estimation (130) initiale (X̂(0)) d'un vecteur d'état étendu (X), par concaténation d'un premier vecteur d'état (X_RX) donnant les positions et les décalages d'horloge des récepteurs GNSS et d'un second vecteur d'état (X_SAT) donnant les positions des différents satellites, et, jusqu'à ce qu'un critère d'arrêt (170) soit satisfait, une séquence d'itérations successives, chaque itération comprenant une étape de mesure (140) par chaque récepteur GNSS (RX_i) des pseudodistances (ρ_i,j) relatives à chaque satellite en visibilité, une étape de construction (150) d'un vecteur d'observation étendu (Y) donnant lesdites pseudodistances pour chacun des récepteurs GNSS et les positions des satellites (Y_SAT) en visibilité de chaque récepteur, une étape de mise à jour (160) d'une estimation du vecteur d'état étendu, les positions des récepteurs GNSS et/ou les décalages de leurs horloges internes respectives étant donné(e)s par l'estimation du vecteur d'état étendu obtenue à la dernière itération.

La présente invention concerne une méthode de vérification de l'intégrité de mesures GNSS effectuées par une pluralité de récepteurs GNSS embarqués sur des plateformes mobiles connectées. Dans une première étape, on construit (110, 120) un premier vecteur d'observation (Y^sat) donnant, pour chaque récepteur GNSS, les pseudodistances satellitaires et un second vecteur d'observation (Y^rαd ) donnant, pour chaque émetteur/récepteur radio, les pseudodistances radio, ces deux vecteurs d'observation étant agrégés pour former un vecteur d'observation hybride (Y). On calcule ensuite (140) une matrice géométrique globale (H_G) permettant de passer d'un vecteur d'état (X) représentatif des positions et décalages d'horloge interne desdits récepteurs GNSS embarqués au dit vecteur d'observation hybride (Y). On détermine enfin (150) une matrice de parité (Π) associée à la matrice géométrique globale, et on en déduit (160) la valeur d'une variable de décision (T) comme norme quadratique de la projection du vecteur d'observation hybride (Y) sur l'espace de parité. Ladite valeur de la variable de décision est alors comparée (170) à un seuil prédéterminé (s) pour décider si les mesures GNSS sont corrompues (180) ou intègres (190).

La présente invention concerne une méthode de positionnement satellitaire mettant en œuvre une pluralité (M) de satellites et une pluralité (N) de plateformes mobiles connectées, chaque plateforme embarquant un récepteur GNSS ainsi qu'un émetteur/récepteur radio. Après une étape d'initialisation (110-130), la méthode comprend une pluralité d'itérations, chaque itération comprenant une étape de mesure (140) de pseudodistances satellitaires ( ρi,jsat) pour chaque satellite que chaque plateforme a en visibilité, ainsi que les pseudodistances radio ( ρi,nrad), qui sépare des autres plateformes. Un vecteur d'observation hybride (Y) est construit (150) à partir des pseudodistances satellitaires et les pseudodistances radio mesurées par la pluralité des plateformes mobiles. A chaque itération, une estimation du vecteur d'état global est ensuite mise à jour (160) à partir de l'estimation de ce vecteur obtenue à l'itération précédente, du vecteur d'observation hybride (Y(t)) construit à l'étape courante et d'une matrice géométrique globale (H_G) dépendant des vecteurs directeurs (u_i,j) des droites joignant chaque plateforme aux que des vecteurs directeurs (v_i,n) des droites joignant chaque plateforme aux autres plateformes. Les positions des plateformes et/ou les décalages de leurs horloges internes respectives sont donné(e)s par l'estimation du vecteur d'état global obtenue à la dernière itération.

The invention is a method for detecting the source of a digital currency fraud, in which a server retrieves both a first currency token (T1) and an associated first signature (SG1) from a first element (SE1) and both a second currency token (T2) and n associated second signature (SG2) from a second element (SE2), both said first and second currency tokens containing a funding currency token (T3) originated from a third element (SE3),the server detects the existence of the digital currency fraud by identifying an anomaly between said first and second tokens, then determines, as a result of a verification of said first and second signatures, if the first token is a fake token created by the first element, if the second token is a fake token created by said second element or if the third element has unduly spent the funding currency token twice.