Verfahren und System zur Verifizierung von Gegenmassnahmen bei Redundanten Prüfungen

Details

Veröffentlichungs-Nr.

EP4137975

Aktenzeichen

EP21306134

Anmeldetag

20. August 2021

Veröffentlichung

11. Februar 2026

Erteilung

11. Februar 2026

Rechtsraum

EP

IPC

G06F21/54G06F21/57

Abstract

The resistance of secure software code defining a secure critical section to physical attacks is verified to a rated value by performing a deductive verification of a modified version of the code in question where each binary test in the code is replaced with an attack simulation test representing an exclusive or of the variable value tested in ordinary operation and a variable indicating the presence of a physical attack, where the deductive verification attempts to prove an assertion that the critical section is not reached for every possible combination of test condition values for said identified binary tests and for every possible combination of binary attack indicator values indicating the occurrence of at least one attack across each respective combination of test condition values. Called functions and looped structures may be in-lined so as to be assessed in the same verification.

Anmelder

Firmen

Commissariat à l'Energie Atomique et aux Energies Alternatives
THALES

Land

🇫🇷 Frankreich

Fachgebiete