Matches in SemOpenAlex for { <https://semopenalex.org/work/W2986250553> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2986250553 abstract "Fault attacks are a major threat requiring to protect applications. We present a method and a set of metrics, implemented in a framework combining formal methods, dynamic and static analyses to evaluate the robustness of a binary code against fault attacks. The framework models the vulnerabilities detection as formal equivalence-checking problems that are solved by a SMT solver. It can support transient fault models targeting both data and code. Its application to programs hardened at source level shows its benefits for comparing different hardened versions, compilers and their optimizations, and for analyzing the sources of vulnerability." @default.
- W2986250553 created "2019-11-22" @default.
- W2986250553 creator A5023453269 @default.
- W2986250553 creator A5028337094 @default.
- W2986250553 creator A5034064440 @default.
- W2986250553 creator A5045016284 @default.
- W2986250553 creator A5048701235 @default.
- W2986250553 date "2019-01-21" @default.
- W2986250553 modified "2023-10-18" @default.
- W2986250553 title "Fault attack vulnerability assessment of binary code" @default.
- W2986250553 cites W1480909796 @default.
- W2986250553 cites W1886188425 @default.
- W2986250553 cites W2095785650 @default.
- W2986250553 cites W2111725598 @default.
- W2986250553 cites W2514974017 @default.
- W2986250553 cites W2754820511 @default.
- W2986250553 cites W3099644249 @default.
- W2986250553 doi "https://doi.org/10.1145/3304080.3304083" @default.
- W2986250553 hasPublicationYear "2019" @default.
- W2986250553 type Work @default.
- W2986250553 sameAs 2986250553 @default.
- W2986250553 citedByCount "7" @default.
- W2986250553 countsByYear W29862505532020 @default.
- W2986250553 countsByYear W29862505532021 @default.
- W2986250553 countsByYear W29862505532022 @default.
- W2986250553 countsByYear W29862505532023 @default.
- W2986250553 crossrefType "proceedings-article" @default.
- W2986250553 hasAuthorship W2986250553A5023453269 @default.
- W2986250553 hasAuthorship W2986250553A5028337094 @default.
- W2986250553 hasAuthorship W2986250553A5034064440 @default.
- W2986250553 hasAuthorship W2986250553A5045016284 @default.
- W2986250553 hasAuthorship W2986250553A5048701235 @default.
- W2986250553 hasConcept C104317684 @default.
- W2986250553 hasConcept C110251889 @default.
- W2986250553 hasConcept C111498074 @default.
- W2986250553 hasConcept C169590947 @default.
- W2986250553 hasConcept C185592680 @default.
- W2986250553 hasConcept C199360897 @default.
- W2986250553 hasConcept C2775928411 @default.
- W2986250553 hasConcept C2777904410 @default.
- W2986250553 hasConcept C2779639559 @default.
- W2986250553 hasConcept C33923547 @default.
- W2986250553 hasConcept C38652104 @default.
- W2986250553 hasConcept C41008148 @default.
- W2986250553 hasConcept C43126263 @default.
- W2986250553 hasConcept C48372109 @default.
- W2986250553 hasConcept C55493867 @default.
- W2986250553 hasConcept C63435697 @default.
- W2986250553 hasConcept C63479239 @default.
- W2986250553 hasConcept C94375191 @default.
- W2986250553 hasConcept C95713431 @default.
- W2986250553 hasConcept C96654402 @default.
- W2986250553 hasConcept C97686452 @default.
- W2986250553 hasConceptScore W2986250553C104317684 @default.
- W2986250553 hasConceptScore W2986250553C110251889 @default.
- W2986250553 hasConceptScore W2986250553C111498074 @default.
- W2986250553 hasConceptScore W2986250553C169590947 @default.
- W2986250553 hasConceptScore W2986250553C185592680 @default.
- W2986250553 hasConceptScore W2986250553C199360897 @default.
- W2986250553 hasConceptScore W2986250553C2775928411 @default.
- W2986250553 hasConceptScore W2986250553C2777904410 @default.
- W2986250553 hasConceptScore W2986250553C2779639559 @default.
- W2986250553 hasConceptScore W2986250553C33923547 @default.
- W2986250553 hasConceptScore W2986250553C38652104 @default.
- W2986250553 hasConceptScore W2986250553C41008148 @default.
- W2986250553 hasConceptScore W2986250553C43126263 @default.
- W2986250553 hasConceptScore W2986250553C48372109 @default.
- W2986250553 hasConceptScore W2986250553C55493867 @default.
- W2986250553 hasConceptScore W2986250553C63435697 @default.
- W2986250553 hasConceptScore W2986250553C63479239 @default.
- W2986250553 hasConceptScore W2986250553C94375191 @default.
- W2986250553 hasConceptScore W2986250553C95713431 @default.
- W2986250553 hasConceptScore W2986250553C96654402 @default.
- W2986250553 hasConceptScore W2986250553C97686452 @default.
- W2986250553 hasLocation W29862505531 @default.
- W2986250553 hasLocation W29862505532 @default.
- W2986250553 hasOpenAccess W2986250553 @default.
- W2986250553 hasPrimaryLocation W29862505531 @default.
- W2986250553 hasRelatedWork W2013637613 @default.
- W2986250553 hasRelatedWork W2105882137 @default.
- W2986250553 hasRelatedWork W2137908418 @default.
- W2986250553 hasRelatedWork W2170090440 @default.
- W2986250553 hasRelatedWork W2207032348 @default.
- W2986250553 hasRelatedWork W2899100898 @default.
- W2986250553 hasRelatedWork W2986250553 @default.
- W2986250553 hasRelatedWork W4309797313 @default.
- W2986250553 hasRelatedWork W4312281161 @default.
- W2986250553 hasRelatedWork W4379536150 @default.
- W2986250553 isParatext "false" @default.
- W2986250553 isRetracted "false" @default.
- W2986250553 magId "2986250553" @default.
- W2986250553 workType "article" @default.