Hybrid information flow control for low-level code (Q6041280): Difference between revisions

@@ Property / cites work @@
+A Certified Lightweight Non-interference Java Bytecode Verifier
+Normal rank
@@ Property / cites work @@
+A lattice model of secure information flow
@@ Property / cites work: A lattice model of secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+A fast algorithm for finding dominators in a flowgraph
+Normal rank
@@ Property / cites work @@
+Dependent Information Flow Types
@@ Property / cites work: Dependent Information Flow Types / rank @@
+Normal rank
@@ Property / cites work @@
+Information Flow Analysis for Valued-Indexed Data Security Compartments
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank