公开(公告)号：US20230342279A1

公开(公告)日：2023-10-26

申请号：US18306032

申请日：2023-04-24

Applicant: STMicroelectronics (Grand Ouest) SAS

Inventor： Michel Jaouen ,  Loic Pallardy

IPC: G06F11/34 ,  G06F11/36

CPC classification number: G06F11/3466 ,  G06F11/3612

Abstract: A method is provided for monitoring an execution of a selected program code portion stored in a memory address range between a start address and an end address. The method includes starting a timing when a program counter points to the start address of the selected program code portion. Current values of the program counter are compared with a set of target addresses specific to the selected program code portion including the end address of the selected program code portion. The timing is stopped when the program counter points to the end address of the selected program code portion. An error signal is generated in response to the timing duration being outside a nominal duration range specific to the selected program code portion.

公开(公告)号：US20230161863A1

公开(公告)日：2023-05-25

申请号：US18058130

申请日：2022-11-22

Applicant: STMicroelectronics (Grand Ouest) SAS

Inventor： Michel Jaouen ,  Loic Pallardy ,  Ludovic Barre

IPC: G06F21/44

CPC classification number: G06F21/44

Abstract: In an embodiment a method includes compiling, by a processor in a compiling phase, a software program intended to be executed by the processor, the processor having secure and non-secure access right level execution contexts, and/or privileged and non-privileged access right level execution contexts and generating, in the compilation phase, instructions in machine language having an exclusively secure access right level when the instructions are intended to be executed in the secure access right level execution context, and instructions having a non-privileged access right level when the instructions are intended to be executed in the non-privileged access right level execution context.

公开(公告)号：US20230040093A1

公开(公告)日：2023-02-09

申请号：US17882292

申请日：2022-08-05

Applicant: STMicroelectronics (Grand Ouest) SAS

Inventor： Michel Jaouen ,  Gilles Trottier

IPC: G06F8/60 ,  G06F21/52 ,  G06F9/445

Abstract: A method can be used for verifying an execution of a compiled software program stored in a program memory of a processor and executed by the processor. A write operation includes assigning a destination address in a register of the processor and writing a datum at a location pointed to by the destination address contained in the register. A verification operation includes reassigning the same destination address in the same register, reading the datum contained at the location pointed to by the destination address contained in the register after the reassignment, and comparing the read datum and the written datum.

公开(公告)号：US20220164172A1

公开(公告)日：2022-05-26

申请号：US17451394

申请日：2021-10-19

Applicant: STMicroelectronics (Grand Ouest) SAS

Inventor： Michel Jaouen ,  Stephane Le Roy ,  Moise Gergaud

IPC: G06F8/41 ,  G06F21/54

Abstract: According to one aspect, a method for compiling by a compilation tool a source code into a computer-executable code comprises receiving the source code as input of the compilation tool, translating the source code into an object code comprising machine instructions executable by a processor, then introducing, between machine instructions of the object code, additional instructions selected from illegal instructions and no-operation instructions so as to obtain the executable code, then delivering the executable code as output of the compilation tool.

公开(公告)号：US20210081333A1

公开(公告)日：2021-03-18

申请号：US17010072

申请日：2020-09-02

Applicant: STMicroelectronics (Grand Ouest) SAS

Inventor： Michel Jaouen

IPC: G06F12/14 ,  G06F21/62 ,  G06F21/78

Abstract: An embodiment system for protecting a memory comprises security software configured to determine, from an exception generated during an unauthorized action attempt in the memory, whether the security software can perform the action.