Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169780304> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2169780304 abstract "In this paper we present a novel approach to detection of metamorphic computer viruses by using proving program equivalence based on program transformation technique known as supercompilation [7]. Proving program equivalence is an undecidable problem in the general case; however, in specific cases we may find decidable or semi-decidable procedures that can prove that a sub-class of programs are equivalent. This is of relevance for detecting metamorphic computer viruses, which use a variety of semantics-preserving, syntax-mutating methods for code obfuscation. The main purpose of this obfuscation is to avoid detection by signature scanning. An important factor here is that semantics is preserved; therefore, if we can prove using some procedure that two different programs are equivalent, then in principle we can detect metamorphic computer viruses using this procedure. The supercompilation 1 is a semantic based program transformation technique [7] for functional programming languages proposed by V. Turchin in the early 1970s. A variant of symbolic execution is used for the transformation: the program is executed with a partially defined input and that leads to the unfolding a potentially infinite tree of all possible computations of the parameterized program. In the process the tree of configurations is analysed and folded into the finite graph of parameterized configurations and posible transitions between them. To make folding possible a generalization procedure can be used. Finally, the supercompiler analyses the graph and builds the definition of output program based on that. Thus, a supercom}" @default.
- W2169780304 created "2016-06-24" @default.
- W2169780304 creator A5057274980 @default.
- W2169780304 creator A5058762497 @default.
- W2169780304 date "2008-01-01" @default.
- W2169780304 modified "2023-09-27" @default.
- W2169780304 title "Supercompilation for Equivalence Testing in Metamorphic Computer Viruses Detection" @default.
- W2169780304 cites W1537560513 @default.
- W2169780304 cites W1929568162 @default.
- W2169780304 cites W2003823454 @default.
- W2169780304 cites W2020024606 @default.
- W2169780304 cites W2099194862 @default.
- W2169780304 cites W2114051457 @default.
- W2169780304 cites W2163353162 @default.
- W2169780304 hasPublicationYear "2008" @default.
- W2169780304 type Work @default.
- W2169780304 sameAs 2169780304 @default.
- W2169780304 citedByCount "4" @default.
- W2169780304 countsByYear W21697803042012 @default.
- W2169780304 crossrefType "journal-article" @default.
- W2169780304 hasAuthorship W2169780304A5057274980 @default.
- W2169780304 hasAuthorship W2169780304A5058762497 @default.
- W2169780304 hasConcept C11413529 @default.
- W2169780304 hasConcept C118615104 @default.
- W2169780304 hasConcept C153269930 @default.
- W2169780304 hasConcept C165464430 @default.
- W2169780304 hasConcept C192034797 @default.
- W2169780304 hasConcept C199360897 @default.
- W2169780304 hasConcept C2778361913 @default.
- W2169780304 hasConcept C2780069185 @default.
- W2169780304 hasConcept C33923547 @default.
- W2169780304 hasConcept C41008148 @default.
- W2169780304 hasConcept C80444323 @default.
- W2169780304 hasConcept C98183937 @default.
- W2169780304 hasConceptScore W2169780304C11413529 @default.
- W2169780304 hasConceptScore W2169780304C118615104 @default.
- W2169780304 hasConceptScore W2169780304C153269930 @default.
- W2169780304 hasConceptScore W2169780304C165464430 @default.
- W2169780304 hasConceptScore W2169780304C192034797 @default.
- W2169780304 hasConceptScore W2169780304C199360897 @default.
- W2169780304 hasConceptScore W2169780304C2778361913 @default.
- W2169780304 hasConceptScore W2169780304C2780069185 @default.
- W2169780304 hasConceptScore W2169780304C33923547 @default.
- W2169780304 hasConceptScore W2169780304C41008148 @default.
- W2169780304 hasConceptScore W2169780304C80444323 @default.
- W2169780304 hasConceptScore W2169780304C98183937 @default.
- W2169780304 hasLocation W21697803041 @default.
- W2169780304 hasOpenAccess W2169780304 @default.
- W2169780304 hasPrimaryLocation W21697803041 @default.
- W2169780304 hasRelatedWork W114719569 @default.
- W2169780304 hasRelatedWork W1480483708 @default.
- W2169780304 hasRelatedWork W183831629 @default.
- W2169780304 hasRelatedWork W1975807602 @default.
- W2169780304 hasRelatedWork W2009332552 @default.
- W2169780304 hasRelatedWork W2013423850 @default.
- W2169780304 hasRelatedWork W2020024606 @default.
- W2169780304 hasRelatedWork W2122698067 @default.
- W2169780304 hasRelatedWork W2125977928 @default.
- W2169780304 hasRelatedWork W2152397470 @default.
- W2169780304 hasRelatedWork W2182993393 @default.
- W2169780304 hasRelatedWork W2765742677 @default.
- W2169780304 hasRelatedWork W2767715425 @default.
- W2169780304 hasRelatedWork W2914874733 @default.
- W2169780304 hasRelatedWork W2951912410 @default.
- W2169780304 hasRelatedWork W2964301698 @default.
- W2169780304 hasRelatedWork W2964307043 @default.
- W2169780304 hasRelatedWork W3101554748 @default.
- W2169780304 hasRelatedWork W3172134166 @default.
- W2169780304 hasRelatedWork W1448684019 @default.
- W2169780304 isParatext "false" @default.
- W2169780304 isRetracted "false" @default.
- W2169780304 magId "2169780304" @default.
- W2169780304 workType "article" @default.