Matches in SemOpenAlex for { <https://semopenalex.org/work/W2780799849> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2780799849 endingPage "115" @default.
- W2780799849 startingPage "94" @default.
- W2780799849 abstract "Code protection technologies require anti reverse engineering transformations to obfuscate programs in such a way that tools and methods for program analysis become ineffective. We introduce the concept of model deformation inducing an effective code obfuscation against attacks performed by abstract model checking. This means complicating the model in such a way a high number of spurious traces are generated in any formal verification of the property to disclose about the system under attack. We transform the program model in order to make the removal of spurious counterexamples by abstraction refinement maximally inefficient. A measure of the quality of the obfuscation obtained by model deformation is given together with a corresponding best obfuscation strategy for abstract model checking based on partition refinement." @default.
- W2780799849 created "2018-01-05" @default.
- W2780799849 creator A5031236056 @default.
- W2780799849 creator A5052881133 @default.
- W2780799849 creator A5090195630 @default.
- W2780799849 date "2017-12-29" @default.
- W2780799849 modified "2023-09-26" @default.
- W2780799849 title "Code Obfuscation Against Abstract Model Checking Attacks" @default.
- W2780799849 cites W1489356009 @default.
- W2780799849 cites W1529785310 @default.
- W2780799849 cites W1582574957 @default.
- W2780799849 cites W1612453857 @default.
- W2780799849 cites W1755167160 @default.
- W2780799849 cites W1967031800 @default.
- W2780799849 cites W2039620016 @default.
- W2780799849 cites W2043100293 @default.
- W2780799849 cites W2046160987 @default.
- W2780799849 cites W2069150132 @default.
- W2780799849 cites W2080593426 @default.
- W2780799849 cites W2090106217 @default.
- W2780799849 cites W2102550998 @default.
- W2780799849 cites W2114092850 @default.
- W2780799849 cites W2118516658 @default.
- W2780799849 cites W2127574686 @default.
- W2780799849 cites W2156897720 @default.
- W2780799849 cites W2560252021 @default.
- W2780799849 cites W4253637600 @default.
- W2780799849 doi "https://doi.org/10.1007/978-3-319-73721-8_5" @default.
- W2780799849 hasPublicationYear "2017" @default.
- W2780799849 type Work @default.
- W2780799849 sameAs 2780799849 @default.
- W2780799849 citedByCount "4" @default.
- W2780799849 countsByYear W27807998492018 @default.
- W2780799849 countsByYear W27807998492019 @default.
- W2780799849 countsByYear W27807998492021 @default.
- W2780799849 countsByYear W27807998492023 @default.
- W2780799849 crossrefType "book-chapter" @default.
- W2780799849 hasAuthorship W2780799849A5031236056 @default.
- W2780799849 hasAuthorship W2780799849A5052881133 @default.
- W2780799849 hasAuthorship W2780799849A5090195630 @default.
- W2780799849 hasBestOaLocation W27807998492 @default.
- W2780799849 hasConcept C110251889 @default.
- W2780799849 hasConcept C111472728 @default.
- W2780799849 hasConcept C11413529 @default.
- W2780799849 hasConcept C118615104 @default.
- W2780799849 hasConcept C119857082 @default.
- W2780799849 hasConcept C124304363 @default.
- W2780799849 hasConcept C138885662 @default.
- W2780799849 hasConcept C162838799 @default.
- W2780799849 hasConcept C177264268 @default.
- W2780799849 hasConcept C199360897 @default.
- W2780799849 hasConcept C207850805 @default.
- W2780799849 hasConcept C2776760102 @default.
- W2780799849 hasConcept C30888246 @default.
- W2780799849 hasConcept C33923547 @default.
- W2780799849 hasConcept C38652104 @default.
- W2780799849 hasConcept C40305131 @default.
- W2780799849 hasConcept C41008148 @default.
- W2780799849 hasConcept C80444323 @default.
- W2780799849 hasConcept C97256817 @default.
- W2780799849 hasConceptScore W2780799849C110251889 @default.
- W2780799849 hasConceptScore W2780799849C111472728 @default.
- W2780799849 hasConceptScore W2780799849C11413529 @default.
- W2780799849 hasConceptScore W2780799849C118615104 @default.
- W2780799849 hasConceptScore W2780799849C119857082 @default.
- W2780799849 hasConceptScore W2780799849C124304363 @default.
- W2780799849 hasConceptScore W2780799849C138885662 @default.
- W2780799849 hasConceptScore W2780799849C162838799 @default.
- W2780799849 hasConceptScore W2780799849C177264268 @default.
- W2780799849 hasConceptScore W2780799849C199360897 @default.
- W2780799849 hasConceptScore W2780799849C207850805 @default.
- W2780799849 hasConceptScore W2780799849C2776760102 @default.
- W2780799849 hasConceptScore W2780799849C30888246 @default.
- W2780799849 hasConceptScore W2780799849C33923547 @default.
- W2780799849 hasConceptScore W2780799849C38652104 @default.
- W2780799849 hasConceptScore W2780799849C40305131 @default.
- W2780799849 hasConceptScore W2780799849C41008148 @default.
- W2780799849 hasConceptScore W2780799849C80444323 @default.
- W2780799849 hasConceptScore W2780799849C97256817 @default.
- W2780799849 hasLocation W27807998491 @default.
- W2780799849 hasLocation W27807998492 @default.
- W2780799849 hasOpenAccess W2780799849 @default.
- W2780799849 hasPrimaryLocation W27807998491 @default.
- W2780799849 hasRelatedWork W1860772589 @default.
- W2780799849 hasRelatedWork W2003959877 @default.
- W2780799849 hasRelatedWork W20424721 @default.
- W2780799849 hasRelatedWork W2064247971 @default.
- W2780799849 hasRelatedWork W2127574686 @default.
- W2780799849 hasRelatedWork W2158395308 @default.
- W2780799849 hasRelatedWork W2186626863 @default.
- W2780799849 hasRelatedWork W2780799849 @default.
- W2780799849 hasRelatedWork W2884613112 @default.
- W2780799849 hasRelatedWork W4286749458 @default.
- W2780799849 isParatext "false" @default.
- W2780799849 isRetracted "false" @default.
- W2780799849 magId "2780799849" @default.
- W2780799849 workType "book-chapter" @default.