Back to results
US 12,585,752 B2Granted
Protection of an electronic device
AssigneesSTMicroelectronics (Rousset) SAS, STMicroelectronics Belgium NV
InventorsOlivier Van Nieuwenhuyze, Alexandre Charles
Life of this patent
Estimating the term…
Abstract
An electronic device includes a secure element and an application programming interface. The secure element, in operation, executes a first application. The application programming interface, in operation, verifies a reliability of a received command directed to the first application, and transmits the command and a result of the verification to the first application.
Claims20
An electronic device, comprising:
- secure processing circuitry, which, in operation, executes:
- a first low-level operating system to execute:
- a first application;
- and
- an application programming interface;
- and
- a second low-level operating system;
- and
- a processor coupled to the secure processing circuitry, wherein the processor, in operation, executes a high-level operating system to execute a second application, wherein the application programming interface, in operation:
- verifies a reliability of a received command from the second application and directed to the first application;
- and
- transmits the command and a result of the verification to the first application, wherein the verifying the reliability of the command includes verifying the high-level operating system of the processor is reliable by communicating with the second low-level operating system of the secure processing circuitry.
9 more elements
A system, comprising:
- a processor, which, in operation, executes applications using a high-level operating system of the processor;
- a secure processing circuit, which, in operation, executes a first application of the secure processing circuit using a first low-level operating system of the secure processing circuit;
- and
- an application programming interface, which, in operation:
- verifies a reliability of a received command directed to the first application from an application executing on the processor;
- and
- transmits the command and a result of the verification to the first application, wherein the application programming interface verifies that the high-level operating system of the processor is reliable by communicating with a second low-level operating system of the secure processing circuit.
4 more elements
A method, comprising:
- executing, using a first low-level operating system of a secure circuit of a device, a first application;
- receiving a command directed to the first application from a second application executing on a processor using a high-level operating system of the processor;
- verifying, using an application programming interface of the device, a reliability of the received command directed to the first application;
- and
- transmitting, using the application programming interface, the command and a result of the verification to the first application, wherein the application programming interface verifies the high-level operating system of the processor is reliable by communicating with a second low-level operating system of the secure circuit.
2 more elements
A non-transitory computer-readable medium having contents which configure an electronic device to perform a method, the method comprising:
- executing, using a first low-level operating system of a secure circuit of the electronic device, a first application;
- receiving a command directed to the first application from a second application executing on a processor using a high-level operating system of the processor;
- verifying, using an application programming interface of the electronic device, a reliability of the received command directed to the first application;
- and
- transmitting, using the application programming interface, the command and a result of the verification to the first application, wherein the application programming interface verifies the high-level operating system of the processor is reliable by communicating with a second low-level operating system of the secure circuit.
2 more elements
Dependencies are inferred from the claim text.