Using algebraic models of programs for detecting metamorphic malwares (Q549466): Difference between revisions

@@ Property / cites work @@
+Q4783716
@@ Property / cites work: Q4783716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448393
@@ Property / cites work: Q4448393 / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract interpretation-based framework for software watermarking
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Opaque Predicates Detection by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+The equivalence problem of multitape finite automata
+Normal rank
@@ Property / cites work @@
+On the equivalence and transformation of program schemes
+Normal rank
@@ Property / cites work @@
+Q4132506
@@ Property / cites work: Q4132506 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of program models
@@ Property / cites work: A hierarchy of program models / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroup program models
@@ Property / cites work: Semigroup program models / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm that recognizes the commutative equivalence of program schemata
+Normal rank
@@ Property / cites work @@
+Equivalent transformations of program schemes for ``Entangling'' programs
+Normal rank
@@ Property / cites work @@
+On program schemes with commuting and monotone operators
+Normal rank
@@ Property / cites work @@
+Implementation and Application of Automata
@@ Property / cites work: Implementation and Application of Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Ianov's Program Schemata
@@ Property / cites work: On Ianov's Program Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Reliable identification of bounded-length viruses is NP-complete
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decidability of the Equivalence Problem for Monadic Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q4529995
@@ Property / cites work: Q4529995 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation and Application of Automata
@@ Property / cites work: Implementation and Application of Automata / rank @@
+Normal rank