Matches in SemOpenAlex for { <https://semopenalex.org/work/W3215178382> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3215178382 startingPage "679" @default.
- W3215178382 abstract "Fault attacks against embedded circuits enabled to define many new attack paths against secure circuits. Every attack path relies on a specific fault model which defines the type of faults that the attacker can perform. On embedded processors, a fault model in which an attacker is able to skip an assembly instruction is practical and has been obtained by using several fault injection means. To handle this issue, some countermeasure schemes which rely on temporal redundancy have been proposed. Nevertheless, double fault injection in a long enough time interval is practical and can bypass those countermeasure schemes. Some fine-grained other countermeasure schemes have been proposed for specific instructions. However, to the best of our knowledge, no approach that enables to secure a generic assembly program in order to make it fault-tolerant to instruction skip attacks has been formally proven yet. In this paper, we provide a fault-tolerant replacement sequence for every instruction of the whole Thumb2 instruction set and provide a formal proof of this fault tolerance. This simple transformation enables to add a reasonably good security level to an embedded program and makes practical fault injection attacks much harder to achieve." @default.
- W3215178382 created "2021-12-06" @default.
- W3215178382 creator A5023453269 @default.
- W3215178382 creator A5034064440 @default.
- W3215178382 creator A5045293163 @default.
- W3215178382 creator A5081564265 @default.
- W3215178382 date "2013-08-24" @default.
- W3215178382 modified "2023-09-26" @default.
- W3215178382 title "Formal verification of a software countermeasure against instruction skip attacks" @default.
- W3215178382 cites W1686420892 @default.
- W3215178382 cites W1829732909 @default.
- W3215178382 cites W1863850585 @default.
- W3215178382 cites W1889965583 @default.
- W3215178382 cites W2000325148 @default.
- W3215178382 cites W2000470949 @default.
- W3215178382 cites W2030986741 @default.
- W3215178382 cites W2039845393 @default.
- W3215178382 cites W2072402822 @default.
- W3215178382 cites W2085992264 @default.
- W3215178382 cites W2092627953 @default.
- W3215178382 cites W2104971439 @default.
- W3215178382 cites W2111725598 @default.
- W3215178382 cites W2114235603 @default.
- W3215178382 cites W2140161548 @default.
- W3215178382 cites W2146070389 @default.
- W3215178382 cites W281052386 @default.
- W3215178382 cites W2978434758 @default.
- W3215178382 cites W3132901002 @default.
- W3215178382 hasPublicationYear "2013" @default.
- W3215178382 type Work @default.
- W3215178382 sameAs 3215178382 @default.
- W3215178382 citedByCount "2" @default.
- W3215178382 countsByYear W32151783822014 @default.
- W3215178382 countsByYear W32151783822015 @default.
- W3215178382 crossrefType "journal-article" @default.
- W3215178382 hasAuthorship W3215178382A5023453269 @default.
- W3215178382 hasAuthorship W3215178382A5034064440 @default.
- W3215178382 hasAuthorship W3215178382A5045293163 @default.
- W3215178382 hasAuthorship W3215178382A5081564265 @default.
- W3215178382 hasConcept C111919701 @default.
- W3215178382 hasConcept C113775141 @default.
- W3215178382 hasConcept C119599485 @default.
- W3215178382 hasConcept C120314980 @default.
- W3215178382 hasConcept C126953365 @default.
- W3215178382 hasConcept C127313418 @default.
- W3215178382 hasConcept C127413603 @default.
- W3215178382 hasConcept C134146338 @default.
- W3215178382 hasConcept C146978453 @default.
- W3215178382 hasConcept C149635348 @default.
- W3215178382 hasConcept C152124472 @default.
- W3215178382 hasConcept C165205528 @default.
- W3215178382 hasConcept C167391956 @default.
- W3215178382 hasConcept C175551986 @default.
- W3215178382 hasConcept C21593369 @default.
- W3215178382 hasConcept C2775928411 @default.
- W3215178382 hasConcept C2777904410 @default.
- W3215178382 hasConcept C38652104 @default.
- W3215178382 hasConcept C41008148 @default.
- W3215178382 hasConcept C63540848 @default.
- W3215178382 hasConceptScore W3215178382C111919701 @default.
- W3215178382 hasConceptScore W3215178382C113775141 @default.
- W3215178382 hasConceptScore W3215178382C119599485 @default.
- W3215178382 hasConceptScore W3215178382C120314980 @default.
- W3215178382 hasConceptScore W3215178382C126953365 @default.
- W3215178382 hasConceptScore W3215178382C127313418 @default.
- W3215178382 hasConceptScore W3215178382C127413603 @default.
- W3215178382 hasConceptScore W3215178382C134146338 @default.
- W3215178382 hasConceptScore W3215178382C146978453 @default.
- W3215178382 hasConceptScore W3215178382C149635348 @default.
- W3215178382 hasConceptScore W3215178382C152124472 @default.
- W3215178382 hasConceptScore W3215178382C165205528 @default.
- W3215178382 hasConceptScore W3215178382C167391956 @default.
- W3215178382 hasConceptScore W3215178382C175551986 @default.
- W3215178382 hasConceptScore W3215178382C21593369 @default.
- W3215178382 hasConceptScore W3215178382C2775928411 @default.
- W3215178382 hasConceptScore W3215178382C2777904410 @default.
- W3215178382 hasConceptScore W3215178382C38652104 @default.
- W3215178382 hasConceptScore W3215178382C41008148 @default.
- W3215178382 hasConceptScore W3215178382C63540848 @default.
- W3215178382 hasLocation W32151783821 @default.
- W3215178382 hasOpenAccess W3215178382 @default.
- W3215178382 hasPrimaryLocation W32151783821 @default.
- W3215178382 hasRelatedWork W1829732909 @default.
- W3215178382 hasVolume "2013" @default.
- W3215178382 isParatext "false" @default.
- W3215178382 isRetracted "false" @default.
- W3215178382 magId "3215178382" @default.
- W3215178382 workType "article" @default.