Matches in SemOpenAlex for { <https://semopenalex.org/work/W2610538829> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2610538829 abstract "Recently fault injection has increasingly been used both to attack software applications, and to test system robustness. Detecting fault injection vulnerabilities has been approached with a variety of different but limited methods. This paper proposes a general process without these limitations that uses model checking to detect fault injection vulnerabilities in binaries. The efficacy of this process is demonstrated by detecting vulnerabilities in the PRESENT binary." @default.
- W2610538829 created "2017-05-12" @default.
- W2610538829 creator A5030129842 @default.
- W2610538829 creator A5041234666 @default.
- W2610538829 creator A5056970793 @default.
- W2610538829 creator A5085758332 @default.
- W2610538829 date "2017-04-04" @default.
- W2610538829 modified "2023-09-25" @default.
- W2610538829 title "An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version" @default.
- W2610538829 cites W1498432697 @default.
- W2610538829 cites W1573918680 @default.
- W2610538829 cites W1583869287 @default.
- W2610538829 cites W1757311817 @default.
- W2610538829 cites W1834056812 @default.
- W2610538829 cites W1894646615 @default.
- W2610538829 cites W1996965858 @default.
- W2610538829 cites W2002003432 @default.
- W2610538829 cites W2043085635 @default.
- W2610538829 cites W2056689755 @default.
- W2610538829 cites W2069493212 @default.
- W2610538829 cites W2085992264 @default.
- W2610538829 cites W2095785650 @default.
- W2610538829 cites W2110530251 @default.
- W2610538829 cites W2111725598 @default.
- W2610538829 cites W2148602057 @default.
- W2610538829 cites W2150878966 @default.
- W2610538829 cites W2157116240 @default.
- W2610538829 cites W2161246680 @default.
- W2610538829 cites W2169889002 @default.
- W2610538829 cites W2479765057 @default.
- W2610538829 cites W2567058099 @default.
- W2610538829 cites W780543721 @default.
- W2610538829 hasPublicationYear "2017" @default.
- W2610538829 type Work @default.
- W2610538829 sameAs 2610538829 @default.
- W2610538829 citedByCount "0" @default.
- W2610538829 crossrefType "posted-content" @default.
- W2610538829 hasAuthorship W2610538829A5030129842 @default.
- W2610538829 hasAuthorship W2610538829A5041234666 @default.
- W2610538829 hasAuthorship W2610538829A5056970793 @default.
- W2610538829 hasAuthorship W2610538829A5085758332 @default.
- W2610538829 hasBestOaLocation W26105388291 @default.
- W2610538829 hasConcept C115903868 @default.
- W2610538829 hasConcept C199360897 @default.
- W2610538829 hasConcept C2775928411 @default.
- W2610538829 hasConcept C2777904410 @default.
- W2610538829 hasConcept C41008148 @default.
- W2610538829 hasConcept C75606506 @default.
- W2610538829 hasConcept C98045186 @default.
- W2610538829 hasConceptScore W2610538829C115903868 @default.
- W2610538829 hasConceptScore W2610538829C199360897 @default.
- W2610538829 hasConceptScore W2610538829C2775928411 @default.
- W2610538829 hasConceptScore W2610538829C2777904410 @default.
- W2610538829 hasConceptScore W2610538829C41008148 @default.
- W2610538829 hasConceptScore W2610538829C75606506 @default.
- W2610538829 hasConceptScore W2610538829C98045186 @default.
- W2610538829 hasLocation W26105388291 @default.
- W2610538829 hasLocation W26105388292 @default.
- W2610538829 hasLocation W26105388293 @default.
- W2610538829 hasOpenAccess W2610538829 @default.
- W2610538829 hasPrimaryLocation W26105388291 @default.
- W2610538829 hasRelatedWork W2013111119 @default.
- W2610538829 hasRelatedWork W2047793074 @default.
- W2610538829 hasRelatedWork W2112962394 @default.
- W2610538829 hasRelatedWork W2118300983 @default.
- W2610538829 hasRelatedWork W2382501300 @default.
- W2610538829 hasRelatedWork W3137189469 @default.
- W2610538829 hasRelatedWork W3162240892 @default.
- W2610538829 hasRelatedWork W4235530921 @default.
- W2610538829 hasRelatedWork W4243252198 @default.
- W2610538829 hasRelatedWork W4245713008 @default.
- W2610538829 isParatext "false" @default.
- W2610538829 isRetracted "false" @default.
- W2610538829 magId "2610538829" @default.
- W2610538829 workType "article" @default.