A method for securing a central processing unit pipeline
AssigneeThales Dis France SAS
InventorsAndré SINTZOFF, Jean Roch COULON, Yannick TEGLIA, Yannick CASAMATTA
Life of this patent
Estimating the term…
Loading patent…
AssigneeThales Dis France SAS
InventorsAndré SINTZOFF, Jean Roch COULON, Yannick TEGLIA, Yannick CASAMATTA
Estimating the term…
Provided is a method for securing a central processing unit pipeline. It comprises steps of providing an integrity pipeline supervisor (IPS) comprising a decoder and a checker; providing the integrity pipeline supervisor with the instruction of the computer program; allowing the decoder of the integrity pipeline supervisor to decode the instruction provided to the integrity pipeline supervisor; and by the decoder: providing the checker with the structure of the instruction decoded of the integrity pipeline supervisor, providing the checker with the structure of the instruction decoded of the central processing unit, allowing the checker to compare the structure of the instruction decoded of the integrity pipeline supervisor and the structure of the instruction decoded of the central processing unit; and allowing an alarm indicator to be triggered if, as a result of the comparison, the checker detects a discrepancy between the structures. Other embodiments disclosed.
A method for securing a central processing unit pipeline comprising the steps of
A system for securing a central processing unit pipeline comprising a central processing unit (CPU), the central processing unit comprising a fetcher, a decoder and means for executing computer program instructions decoded by the decoder;
Dependencies are inferred from the claim text.