Optimality and condensing of information flow through linear refinement (Q2464935): Difference between revisions

@@ Property / cites work @@
+A logic for information flow in object-oriented programs
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for information flow analysis with an application to forward slicing of simple imperative programs
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Information flow for Algol-like languages
@@ Property / cites work: Information flow for Algol-like languages / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Abstract non-interference
@@ Property / cites work: Abstract non-interference / rank @@
+Normal rank
@@ Property / cites work @@
+Making abstract domains condensing
@@ Property / cites work: Making abstract domains condensing / rank @@
+Normal rank
@@ Property / cites work @@
+On flow-sensitive security types
@@ Property / cites work: On flow-sensitive security types / rank @@
+Normal rank
@@ Property / cites work @@
+Trust in the λ-calculus
@@ Property / cites work: Trust in the λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A per model of secure information flow in sequential programs
+Normal rank
@@ Property / cites work @@
+Logical optimality of groundness analysis
@@ Property / cites work: Logical optimality of groundness analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank