Patents by Inventor Cyril Pascal

Cyril Pascal 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).

  • Method for validating an external software module for its use by a system-on-a-chip
    Patent number: 12197557
    Abstract: According to one aspect, a system-on-a-chip is proposed which includes a memory storage, a computation circuit, a comparison circuit, and a validation circuit. The memory storage is configured to store an external software module. The computation circuit is configured to compute several modified software modules from the external software module and compute check values by iteration until obtaining a final check value. Each check value is computed at least from a given modified software module and a check value previously computed, starting with a predefined initial check value. The comparison circuit is configured to compare the final check value to an expected value stored in the system-on-a-chip. The validation circuit is configured to validate the external software module when the final check value is equal to the expected value.
    Type: Grant
    Filed: November 9, 2021
    Date of Patent: January 14, 2025
    Assignees: STMicroelectronics S.r.l., STMicroelectronics (Rousset) SAS
    Inventors: Antonino Mondello, Stefano Catalano, Cyril Pascal
  • METHOD FOR VALIDATING AN EXTERNAL SOFTWARE MODULE FOR ITS USE BY A SYSTEM-ON-A-CHIP
    Publication number: 20220197990
    Abstract: According to one aspect, a system-on-a-chip is proposed which includes a memory storage, a computation circuit, a comparison circuit, and a validation circuit. The memory storage is configured to store an external software module. The computation circuit is configured to compute several modified software modules from the external software module and compute check values by iteration until obtaining a final check value. Each check value is computed at least from a given modified software module and a check value previously computed, starting with a predefined initial check value. The comparison circuit is configured to compare the final check value to an expected value stored in the system-on-a-chip. The validation circuit is configured to validate the external software module when the final check value is equal to the expected value.
    Type: Application
    Filed: November 9, 2021
    Publication date: June 23, 2022
    Inventors: Antonino Mondello, Stefano Catalano, Cyril Pascal