Maximal incompleteness as obfuscation potency (Q511013): Difference between revisions

@@ Property / cites work @@
+On the (im)possibility of obfuscating programs
@@ Property / cites work: On the (im)possibility of obfuscating programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4056047
@@ Property / cites work: Q4056047 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q4934630
@@ Property / cites work: Q4934630 / rank @@
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Imperative Data Obfuscations
@@ Property / cites work: Specifying Imperative Data Obfuscations / rank @@
+Normal rank
@@ Property / cites work @@
+Candidate Indistinguishability Obfuscation and Functional Encryption for All Circuits
+Normal rank
@@ Property / cites work @@
+Analyzing Program Analyses
@@ Property / cites work: Analyzing Program Analyses / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic properties of program integration
@@ Property / cites work: Algebraic properties of program integration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779119
@@ Property / cites work: Q4779119 / rank @@
+Normal rank
@@ Property / cites work @@
+Refining and compressing abstract domains
@@ Property / cites work: Refining and compressing abstract domains / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
+Normal rank
@@ Property / cites work @@
+Q5602132
@@ Property / cites work: Q5602132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakening additivity in adjoining closures
@@ Property / cites work: Weakening additivity in adjoining closures / rank @@
+Normal rank