Abstract: In a general aspect, a method can include: installing in a non-secure device a customized module for managing communications with a secure element, transmitting to the secure element first authentication data for authenticating the customized module, the customized module generating and transmitting to the secure element second authentication data for authenticating the customized module, if the secure element determines that the first and second authentication data are consistent with each other, establishing a secure communication link between the customized module and the secure element, by using the first or second authentication data, the non-secure device transmitting a command to the secure element, for an application installed in the secure element, and the secure element executing the command only if the command is sent via the secure communication link.

Abstract: The present invention relates to a method for executing a command by a secure element from a non-secure device, the method including steps of: installing in the non-secure device a customized module for managing communications with the secure element, transmitting to the secure element first authentication data for authenticating the customized module, the customized module generating and transmitting to the secure element second authentication data for authenticating the customized module, if the secure element determines that the first and second authentication data are consistent with each other, establishing a secure communication link between the customized module and the secure element, by using the first or second authentication data, the non-secure device transmitting a command to the secure element, for an application installed in the secure element, and the secure element executing the command only if the command is sent via the secure communication link.

Abstract: The invention relates to a method of verifying an intermediary code which can be executed by a limited resource microcircuit which is connected to an external data processing system. The method includes a step involving the modification of the intermediary code comprising the reallocation of real r-type registers to monomorphic-type virtual v registers and the construction of a re-allocated code having PC instructions which refer to the virtual v registers. In addition, the method includes a step involving the verification of the reallocated code in the limited resource microcircuit. Following the successful verification of the reallocated code in the microcircuit, the original intermediary code is installed in the limited resource microcircuit for the execution thereof.