Patents by Inventor Alexis Bailly

Alexis Bailly has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 10747877
    Abstract: A method for protecting an electronic device executing a program against fault injection and type confusion attacks likely to affect a variable (Z) intended to be used by the program. The method includes calculating integrity check data (X, Y) of variable (Z), dependent on a type (T) of the variable (Z), and a value (V) of the variable (Z) stored in an execution stack (P1) and/or of a first addressing datum (A) stored in a first index register (ind1). The first addressing datum (A) adapted to locate the value (V) stored in the execution stack (storing the integrity check data (X, Y) on the variable (Z) in at least one control stack (P2, P3) different to the execution stack (P1). Storing in a second index register (ind2), a unique second addressing datum (A2) adapted to locate the integrity check data (X, Y) in the or each control stack (P2, P3).
    Type: Grant
    Filed: November 20, 2017
    Date of Patent: August 18, 2020
    Assignee: IDEMIA IDENTITY & SECURITY FRANCE
    Inventors: Alexis Bailly, Houssem Maghrebi, Ahmadou Serre, Marc Brugnon
  • Publication number: 20180144129
    Abstract: The present invention relates to a method for protecting an electronic device (1) executing a program against fault injection and type confusion attacks likely to affect a variable (Z) intended to be used by the program, the method being characterized in that it comprises steps of: calculating integrity check data (X, Y) of variable (Z), the integrity check data dependent on: a type (T) of the variable (Z), and a value (V) of the variable (Z) stored in an execution stack (P1) and/or of a first addressing datum (A) stored in a first index register (ind1), the first addressing datum (A) being adapted to locate the value (V) stored in the execution stack (P1), storing the integrity check data (X, Y) on the variable (Z) in at least one control stack (P2, P3) different to the execution stack (P1), storage, in a second index register (ind2), of a unique second addressing datum (A2) adapted to locate the integrity check data (X, Y) in the or each control stack (P2, P3).
    Type: Application
    Filed: November 20, 2017
    Publication date: May 24, 2018
    Inventors: Alexis BAILLY, Houssem MAGHREBI, Ahmadou SERRE, Marc BRUGNON
  • Patent number: 9183160
    Abstract: An integrated circuit card including a processor unit associated with RAM and with data exchange means for exchanging data with an external device, the RAM including a memory zone dedicated to exchanged data, and the processor unit being arranged to secure the dedicated memory zone and to store the exchanged data in said zone, and a method of managing the RAM of such a card.
    Type: Grant
    Filed: September 12, 2008
    Date of Patent: November 10, 2015
    Assignee: MORPHO
    Inventors: Alexis Bailly, David Decroix, Louis-Philippe Goncalves, Cyrille Pepin, Guillaume Roudiere
  • Publication number: 20100211727
    Abstract: An integrated circuit card including a processor unit associated with RAM and with data exchange means for exchanging data with an external device, the RAM including a memory zone dedicated to exchanged data, and the processor unit being arranged to secure the dedicated memory zone and to store the exchanged data in said zone, and a method of managing the RAM of such a card.
    Type: Application
    Filed: September 12, 2008
    Publication date: August 19, 2010
    Inventors: Alexis Bailly, David Decroix, Louis-Philippe Goncalves, Cyrille Pepin, Guillaume Roudiere