公开(公告)号：EP4404087A1

公开(公告)日：2024-07-24

申请号：EP23305077.2

申请日：2023-01-23

申请人： THALES DIS FRANCE SAS

发明人： SINTZOFF, André ,  COULON, Jean Roch ,  TEGLIA, Yannick ,  CASAMATTA, Yannick

IPC分类号： G06F21/52 ,  G06F11/16 ,  G06F21/70 ,  G06F9/30 ,  G06F21/71

CPC分类号： G06F21/52 ,  G06F21/71 ,  G06F11/1637 ,  G06F9/30145

摘要： The invention relates to a method for securing a central processing unit pipeline. According to the invention, the method comprises the 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 in order to obtain the decoded instruction structure; providing the checker with the structure of the instruction decoded by the decoder of the integrity pipeline supervisor; providing the checker with the structure of the instruction decoded by the decoder of the central processing unit; allowing the checker to compare the structure of the instruction decoded by the decoder of the integrity pipeline supervisor and the structure of the instruction decoded by the decoder 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.