Thales Patente

La présente invention concerne procédé (1000) d'aide au pilotage pour un pilote dans un aéronef. Le procédé comprend une phase d'enrichissement (1100) comprenant : - réception (1110) d'une ontologie comprenant une base de données, - génération (1120) d'une matrice représentative de l'ontologie, dite matrice initiale, - application (1130), à la matrice initiale, d'opération(s) matricielle(s) issue(s) d'un ensemble de règles d'inférence, pour obtenir une matrice enrichie - détermination (1140) d'au moins un nouvel axiome entre les données de la base de données par comparaison de la matrice enrichie avec la matrice initiale, - enrichissement (1150) de l'ontologie par inclusion du ou des axiomes nouvellement déterminés dans la base de données, formant une ontologie enrichie. Le procédé comprend en outre une phase de requête (1200), comprenant : - acquisition (1210) d'une requête de la part du pilote, - interrogation (1220) de l'ontologie enrichie, - émission (1230) d'une réponse à la requête acquise.

La présente invention concerne un procédé de compression d'une image. Le procédé comprend :- obtention (E100) d'une image binaire comportant des lignes de pixels, chaque pixel comprenant un premier et un deuxième ensembles,- choix (E102) d'un nombre d'éléments du premier ensemble,- formation (E104) :- d'un flux de bits de poids fort des premiers ensembles ;- d'un flux des bits de poids faible des deuxièmes ensembles ;- établissement (E106) d'une matrice d'ensemble comportant des termes agencés en lignes et colonnes, les termes étant calculés à partir d'un flux choisi, chaque terme étant égal à la concaténation de plusieurs ensembles contigus du flux choisi en parcourant successivement chaque ligne de la matrice d'ensemble, le nombre d'ensembles contigus dépendant du nombre d'éléments choisis pour le premier ensemble, et- compression (E110) de la matrice établie pour obtenir une matrice compressée correspondant à la compression de l'image.

La présente invention concerne un procédé de vérification d'intégrité des mesures acquises par une pluralité de récepteurs GNSS, le procédé comprenant les étapes suivantes : - pour chaque récepteur GNSS : + détermination (110) d'un vecteur de résidus à partir des mesures GNSS acquises par ce récepteur, au moins une composante de chaque vecteur de résidus correspondant à la différence d'un décalage Doppler réel et d'un décalage Doppler théorique par rapport à un satellite visible ; + détermination (130) d'une matrice élémentaire de covariance des résidus à partir dudit vecteur de résidus ; - composition (140) d'une matrice globale de covariance à partir de l'ensemble des matrices élémentaires de covariance ; - détermination (150) d'une variable de test à partir de cette matrice de covariance ; - comparaison (160) de la variable de test avec un seuil prédéterminé.

Système de génération de rayons X comprenant :- une source (1) de faisceau laser (2) focalisé sur une cible gazeuse (6), générant, par accélération laser-plasma, un faisceau d'électrons (7) et un faisceau laser (8) ;- une cible solide (9) de rayonnement de freinage bremsstrahlung, configurée pour être exposée, sur sa face exposée, au faisceau laser (8) et au faisceau d'électrons (7) sortant de la cible gazeuse (6), et pour générer des rayons X ;dans lequel la cible solide (9) comprend une couche protectrice solide (10), disposée sur la face exposée, de densité inférieure à un premier seuil (S1), de point de fusion supérieur à un deuxième seuil (S2), d'épaisseur inférieure à un troisième seuil (S3), de surface exposée polie de rugosité mesurée par un rugosimètre inférieure à un quatrième seuil (S4), le premier seuil (S1) valant 7 g/cm³, le deuxième seuil (S2) valant 1000°C, le troisième seuil (S3) valant 2 mm, et le quatrième seuil (S4) valant 10 µm.

A system (100) and method (700) for distributing Embedded Subscriber Identity Module (eSIM) profiles is disclosed. The method (700) comprises receiving a purchase order of a plurality of eSIM profiles from an entity (114). The purchase order comprises a tag value corresponding to each of the plurality of eSIM profiles. The method (700) comprises mapping the tag value of each of the plurality of eSIM profiles with associated activation codes. Further, the method (700) comprises transmitting the activation codes associated with the plurality of eSIM profiles to the entity (114). The method (700) further comprises distributing the plurality of eSIM profiles and the associated activation codes to a plurality of entity user devices (112) via the entity (114). Further, the method (700) comprises transmitting the tag value corresponding to the eSIM profile associated with the activation codes to each of the plurality of entity user devices (112).

La présente invention concerne un dispositif (10) électronique d'aide à la planification et à la négociation dynamique de plan(s) de vol d'aéronef(s), par connexion, de machine à machine, avec un premier et deuxième jumeaux numériques (12, 14) représentatifs respectivement d'un prestataire de services de navigation aérienne, et d'un agent d'opération aérienne, comprenant : - un module (16) d'acquisition de données à impact sur la planification et la négociation de plan(s) de vol ; - un module (18) d'optimisation des routes aéronautiques ; - un module (20) de génération, à l'échelle mondiale, d'une prédiction de trafic aérien ; - un module (22) de mise à jour desdites routes aéronautiques et prédiction de trafic; - un module (24) de négociation de plan(s) de vol entre lesdits jumeaux numériques, en utilisant ladite prédiction de trafic.

La présente invention concerne un procédé de pistage d'aéronefs dans un espace aérien, comprenant une étape de: - acquisition de plots représentatifs d'une position d'un aéronef ; - association de chaque plot à un sous-espace initial respectif, chaque sous-espace initial comprenant une piste initiale qui est un ensemble de positions instantanées de l'aéronef, - pour chaque sous-espace initial, fusion de chaque plot associé au sous-espace initial avec une piste initiale du sous-espace initial, fournissant une piste actualisée, et - redéfinition des sous-espaces initiaux en fonction des pistes actualisées, fournissant des sous-espaces aériens actualisés, les pistes actualisées permettant de caractériser une trajectoire de l'aéronef et les pistes actualisées ainsi que les sous-espaces aériens actualisés permettant une nouvelle itération du procédé de pistage.

The invention relates to a data carrier with a top surface forming a plan P0 and a bottom surface, said data carrier comprising: - a body comprising a cavity, - a first electronic module positioned at least partially within the cavity; - at least one antenna formed by a wire; - at least one conductive film connecting the antenna to the first electronic module, the cavity comprising a first depth D1 forming a first plan P1, at least part of the antenna being located on this first plan P1, at least part of the conductive film being located on plan P1, wherein the cavity comprises a second depth D2 forming a second plan P2, the second depth D2 being inferior to the first depth D1 such that the second plan P2 is located above the first plan P1, the width W1 of the cavity at the level of plan P1 being inferior to the width W2 of the cavity at the level of plan P2 such that a ledge is formed between plan P1 and plan P2, at least part of the conductive film being located above the ledge.

The invention provides a method for a personal device to delegate biometrics matching to a remote device in a privacy-preserving manner, the method comprising the steps of: • sending, by the personal device, biometrics matching request to the remote device, the request at least comprising request data, a biometrics candidate and a biometrics template all encrypted using a secure enclave encryption public key; • receiving, by the remote device, the request, and homomorphically computing the biometrics matching between the biometrics candidate and a biometrics template, outputting encrypted biometrics match result; • receiving, by a secure enclave, the encrypted request data, and the encrypted biometrics match result, and decrypting them using a secure enclave encryption private key; • if at least biometric match result positive, generating, by the secure enclave, an ephemeral signing keypair, wherein the secure enclave generates an cryptographic authentication code of the request data with the ephemeral signing private key, and encrypts the cryptographic authentication code of request data along with the ephemeral signing public key attestation using the device encryption public key; • receiving and decrypting, by the personal device, the signed request data along with the ephemeral signing public key attestation, and extracting the ephemeral signing public key • verifying, by any party, at least the cryptographic authentication code of the request data; and • if verification succeeds, biometrics matching is considered as valid by the party.

The invention provides a method for binding a key encapsulation mechanism, KEM, keypair and a signing keypair belonging to a secure element, the method comprising: • providing the KEM keypair and the signing keypair in the secure element; and • providing a certificate for the signing keypair in the secure element, wherein the certificate comprises an identifier referencing to a part or all of the KEM keypair.

The invention concerns a method for ensuring that a UE 20 comprising a USIM connects to a legitimate base station, the method comprising:a) generating 30 between the UE 20 and a base station 21 at least a secret key K_PLS using physical layer properties of the radio channel during a PLS-SKG procedure between the UE 20 and the base station 21;b) sending 31 from the base station 21 to an AMF/SEAF 22 at least one of the secret keys K_PLS, the AMF/SEAF 22 belonging to the home network 11 of the USIM or to a visited network 10;c) sending 32 from the UE 20 its SUCI to the AMF/SEAF 22;d) sending from the AMF/SEAF 22 the SUCI and the secret key K_PLS to an AUSF/UDM 23;e) sending 34, from the AUSF/UDM 23 an Authentication token AUTN K, K_PLS to the UE 20, the Authentication token AUTN K, K_PLS being generated based on the long-term key of the USIM and the secret key K_PLS;f) verifying 35 at the USIM the received Authentication token AUTN K, K_PLS using its internal computations to confirm the authenticity of the long-term key and the secret key K_PLS, authenticity of the secret key K_PLS confirming the authenticity of the base station 21 for ensuring that the UE 20 connects to a legitimate base station.

L'invention concerne un équipement électronique avionique (50, 50A) configuré pour être embarqué à bord d'un aéronef, l'équipement (50, 50A) comprenant un ensemble de port(s) de communication (54) en émission, dit(s) port(s) émetteur(s), et de port(s) de communication (54) en réception, dit(s) port(s) récepteur(s). Au moins un port récepteur (54A) est commutable entre un état bloqué dans lequel les données reçues par ledit port sont automatiquement effacées et un état débloqué dans lequel les données reçues par ledit port sont stockées en vue d'un traitement ultérieur. L'équipement (50, 50A) comprend un module de sécurité (56) configuré pour commuter un port récepteur (54A) respectif de son état bloqué à son état débloqué pour un groupe prédéfini d'équipement(s) émetteur(s) (50, 50B), après réception d'un message d'authentification (RCA) valide émis par le groupe d'équipement(s) émetteur(s) (50, 50B), en réponse à une requête en authentification (DAC) envoyée audit groupe par le module de sécurité (56).

This disclosure relates to a contactless module (100) with a cavity (106) for an antenna connection. The contactless module (100) includes a substrate (102). The substrate (102) includes a cavity (106) formed therein. The contactless module (100) further includes at least one electronic chip (108) disposed in the cavity (106). The contactless module (100) further includes at least one electrical conductor (112) connected to each of the at least one electronic chip (108). Each of the at least one electrical conductor (112) flushes to a surface of the substrate (102). The contactless module (100) further includes a connecting means for connecting the at least one electrical conductor (112) to the antenna.

La présente invention concerne un procédé de fonctionnement d'un radar de détection de cibles comprenant la mise en œuvre de plusieurs récurrences d'une étape (110) d'émission/réception de signaux comprenant les sous-étapes suivantes : - génération (111) d'une séquence d'impulsions consécutives comprenant au moins deux impulsions associées à des modes différents ; - émission (112) des impulsions dans des bandes fréquentielles différentes ; - réception (113) dans une fenêtre temporelle commune des échos des impulsions ; lors de N récurrences de l'étape (110), au moins Q1 impulsions relatives à un premier mode étant émises selon des bandes fréquentielles adjacentes ; le procédé comprenant en outre une étape (120) de prétraitement des échos reçus, comprenant les sous-étapes suivantes : - compression (125) de Q1 échos correspondant auxdites Q1 impulsions ; - reconstruction (126) d'une première bande synthétique.

A system (102) with a configurable Printed Circuit Board (PCB) (202) with a dual Embedded Subscriber Identity Module (eSIM) architecture is disclosed. The system (102) includes the PCB (202) including a first Embedded Universal Integrated Circuit Card (eUICC) (204) and a second eUICC (206) coupled with the PCB (202). The first eUICC (204) is configured to operate in a first geographical location (106). The second eUICC (206) is configured to operate in a plurality of geographical locations (108). Further, the system (102) includes a processor coupled with the PCB (202). The processor is configured to manage operation of the first eUICC (204) and the second eUICC (206).

The invention is a method for performing a financial transaction using a digital bank card (25) hosted in a communicating apparatus (20) assigned to a user (50), said communicating apparatus comprising a financial application (26). The method comprises the following steps: - the financial application determines (S12) that an external factor authentication based on a hardware payment card (10) is required for the financial transaction; then - a checking entity retrieves from the hardware payment card, a set (61) of one or more static banking parameters (14, 15, 16) specifically assigned to the hardware payment card; then - the checking entity checks (S13, S18) that every banking parameter of the set is valid; then - the financial application authorizes (S20) processing of the financial transaction using the digital bank card only if every banking parameter in the set has been deemed valid by the checking entity.

A method (600) to select a profile in a UE in operation. The UE collaborates with an eSIM (104) to support multiple profiles. A plurality of supported profiles are stored in the eSIM. Each supported profile is set with a profile description. The method (600) comprises obtaining description of context from Large Language Model (LLM). Further, the method (600) comprises embedding profile descriptions of supported profiles. The context description, the usage preferences, to produce vectors for each, with real number coordinates. The method (600) further includes selecting from plurality of supported profiles, first set of supported profiles which yield maximum value of similarity function of embedded profile description and of embedded context description. Further, the method (600) comprises selecting from first set of supported profiles, second set of supported profiles which yield maximum value of similarity function of embedded profile description and of embedded usage preferences.

The present invention relates to a method for securing against adversarial and backdoor attacks a computer system including a memory storing a plurality of benign images (501) and using at least one neural network comprising an input layer, hidden layers, and an output layer generating an embedding or a classification result into a set of output classes for an input image presented at the input layer, said method being performed by said computer system and comprising, before or during the inference phase: - splitting at least one benign image (501) among said stored benign images into a plurality of zones according to at least one predefined method; and at the inference phase: - acquiring an image (502); - splitting the acquired image into a plurality of zones according to said at least one predefined method; -generating at least one composite image (503, 504, 505, 506) by replacing, in at least one split benign image among said stored benign images a zone of the split benign image corresponding to a zone of the split acquired image with said zone of the split acquired image; -applying said at least one neural network to said at least one generated composite image for generating a result from said output layer of said at least one neural network; -comparing said generated result and a result generated by applying said at least one neural network to said acquired image; - based on said comparison, detecting an adversarial or backdoor attack and performing a predetermined action for securing said system.

Provided is a system (100) and method (400) for performing mutual authentication of a protocol between devices based on short-lived certificates and random number nonces. A Personalization Agent (131) is a delegate to a Remote Service (130) and invokes a kernel-level service to check on a revocation status of participating devices and to issue CVC certificates in real-time to those devices, each personalized with a random key. This solves the issues encountered by existing protocol which use static key and hardcoded public key pinning. The use of unique keys for each device instance reduces the risks linked to key leakage or extraction and impersonation since. Short-lived certificates are generated that are valid only for the duration of communication session by clever use of random nonces in the CVC certificates issuance, where the random nonces play the role of a proof of time for the communication session that replaces the need of a synchronized clock to define validity period of the issued certificates. Other embodiments disclosed.

A method for enforcing the usage of a credential by a wallet is provided, wherein the credential is stored in the wallet and comprises embedded logic self-asserting its usage, wherein the method comprises:• receiving, by the wallet, an attribute request indicating at least one attribute type and action to be performed by the wallet;• retrieving, by the wallet, at least one attribute stored in the credential, and getting the associated embedded logic,• inputting, by the wallet, at least part of the attribute request and the embedded logic to an action logic engine of the wallet, the action logic engine determining if the at least one attribute stored in the credential can be used in response to the attribute request; and• if action is granted by the action logic engine, performing, by the wallet, the requested action with the requested attribute.

A smart card management (SCM) system 100 enabling usage of one or more smart cards over a remote desktop protocol (RDP) session, in accordance with an example embodiment. The system 100 may be communicatively coupled with a remote identity provider device 102 and a card emulator device 104 via a communication network 108. The card emulator 110 is configured to receive a request from the one or more applications to access the one or more smart cards, the request is received in the form of application protocol data units (APDUs), translate the received APDUs to custom logic associated with one or more smart cards, and host and manage instances associated with the one or more smart cards based on the custom logic to thereby enable the usage of the one or more smart cards over the remote desktop protocol (RDP) session. The instances are managed through one or more card model plugins.

Embodiments of the present disclosure relates to a device, and a method for processing a digital payment. A method comprises the steps of receiving information relating to a digital payment, on a user interface of a software application executed by a first device associated with a digital payment sender. The method further comprises the step of generating a quick response (QR) code based on the information and encrypting the generated QR code. The method also comprises the steps of rendering the encrypted QR code for a second device associated with a digital payment recipient. Further, the steps of receiving, encrypting, generating and rendering are performed in an event the first device is offline. And the encrypted QR code is scanned by a software application executed by the second device in an event the second device is online.

La présente invention concerne un procédé (30) de réduction de la taille d'une base de données d'obstacles pour aéronef, comprenant les étapes suivantes :- acquisition (32) d'une base initiale de données d'obstacles comprenant un nombre initial N_init d'obstacles associé à une zone prédéterminée ;- pour ladite zone prédéterminée, obtention (34) d'une valeur maximale N_max d'obstacles associée à une capacité de traitement de données ;et jusqu'à ce que le nombre courant N d'obstacles soit égal à N_max, avec N_max ≤ N ≤ N_init, réitération des étapes suivantes :- pour chaque obstacle desdits N obstacles courants, détermination (40) d'un score de dangerosité dudit obstacle considéré,- au sein desdits N obstacles, suppression (42) de l'obstacle ayant le score de dangerosité le plus faible, la valeur de N étant, simultanément ou successivement à ladite suppression, décrémentée de un.

La présente invention concerne un procédé de compression d'un réseau de neurones initial préalablement entraîné pour exécuter une tâche, et comporte des étapes de :-classement (30) d'au moins une partie des neurones dudit réseau de neurones initial dans un des groupes suivants : un premier groupe de neurones à contribution négative pour l'exécution de ladite tâche, un deuxième groupe de neurones neutres pour l'exécution de ladite tâche et un troisième groupe de neurones critiques pour l'exécution de ladite tâche ;- compression (34) dudit réseau de neurones initial, comportant des sous-étapes de:sélection (35) de neurones parmi les neurones préalablement classés en fonction de leur groupe d'appartenance etquantification (36) des poids associé(s) aux liaisons de sortie des neurones sélectionnés et/ou élagage des neurones sélectionnés,ladite sélection (35) étant effectuée en considérant le premier groupe de neurones, puis le deuxième groupe de neurones, puis le troisième groupe de neurones.

La présente invention concerne un procédé (100) de détermination de données de navigation (5) comprenant la fourniture (110) à un calculateur (15) d'un dispositif gyrométrique d'au moins une série de Fourier d'un terme d'erreur (δ<Z>(t)) modélisant au moins un défaut d'un gyromètre (10) du dispositif gyrométrique, fonction d'une position angulaire (θ<Z>) de l'élément vibrant (75) ; la sélection (120) d'au moins une gamme de fréquences sur la base d'une pluralité d'amplitudes (A<iZ>) et de fréquences respectives (f<i>) de ladite série de Fourier ; la détermination (130) d'un filtre passe-bande et d'un bruit blanc continu (w(t)) à fournir en entrée du filtre passe-bande pour obtenir un bruit filtré (x(t)) en sortie ; la détermination (140) d'un modèle de l'erreur commise sur une mesure (Ω<Z,mes>(t)) du gyromètre (10) sur la base dudit bruit filtré (x(t)) ; et la détermination (145) des données de navigation (5) sur la base dudit modèle déterminé et d'au moins une mesure du gyromètre (10).

Ce procédé consiste à :élaborer (210) au moins un histogramme (H_k) de variation temporelle de position pour une pluralité de paires de plots, chaque paire associant un plot à l'instant courant et un plot à un instant précédent localisés à l'intérieur d'une macro cellule (MC_i) ; pour un plot à l'instant courant considéré comme « plot sous test », agréger (226), dans un histogramme étendu (HE), les histogrammes des plots à l'instant courant localisés à l'intérieur d'une macro-cellules étendue (MCE) autour du plot sous test ;appliquer (228) un critère d'identification de spike sur l'histogramme étendu.

La présente invention concerne un procédé de génération de signature numérique de données numériques formant un message numérique, dans un cryptosystème sans état à base de hachage, comportant : -une première phase (20) de pré-calcul (24) d'une première partie de signature numérique, indépendamment du message numérique, et une mémorisation (26) de l'au moins une première partie de signature numérique dans une mémoire dudit dispositif, -une deuxième phase (30) de calcul de signature numérique du message numérique comportant : -un calcul (32-36) d'une deuxième partie de signature numérique en fonction d'une valeur d'entrée dépendante dudit message numérique, et -une génération (38) de la signature numérique du message numérique par concaténation de la première partie de signature numérique, calculée dans la première phase de pré-calcul, et de la deuxième partie de signature numérique.

The invention is a method for enrolling a payment instrument issued by remote financial entity (30) for a user (50) in a communicating equipment (10) hosting an identification wallet (20). Following receipt by the remote financial entity of an indication of a successful authentication and identification of said user by the identification wallet, the method comprises:generating, by the remote financial entity, credentials (31) associated to a bank account of the user;provisioning, by the remote financial entity, a financial namespace (21) in the identification wallet, said financial namespace comprising the credentials and a data element (22) identifying a financial transaction action to be triggered upon receipt of a document request targeting the data element; andassociating, by the remote financial entity, said credentials (31) with said data element (22).

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.

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.

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.

La présente invention concerne un procédé de vérification d'intégrité des mesures acquises par une pluralité de récepteurs GNSS, comprenant les étapes suivantes : - pour chaque récepteur GNSS : + détermination (110) d'un vecteur de résidus à partir des mesures GNSS acquises par ce récepteur dans une fenêtre temporelle correspondante ; + détermination (130) d'une matrice élémentaire de covariance des résidus à partir dudit vecteur de résidus ; - composition (140) d'une matrice globale de covariance ; - détermination (150) d'une variable de test à partir de cette matrice de covariance ; - comparaison (160) de la variable de test avec un seuil prédéterminé. La dimension de chaque vecteur de résidus et de chaque matrice élémentaire de covariance est adaptée en fonction du nombre de satellites visibles par le récepteur GNSS correspondant.

A connection device (1) for connecting to a data device (2) and to a secure article (3) is connectable to the data device (2) and to the secure article (3) such, that the data device (2) is connectable to the secure article (3) via the connection device (1). The connection device (1) comprises at least one security element (4) that is configured to exhibit at least one response spectrum (5) upon illumination with electromagnetic radiation (R). The security element (4) is configured and arranged such, that its response spectrum (5) is representing at least one response code (6) that is comparable with at least one reference response code, and wherein a match between the response code (6) and the reference response code is indicative of an authenticity of the connection device (1).