Scheduler-Independent Declassification (Q2908558): Difference between revisions

@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Paralocks
@@ Property / cites work: Paralocks / rank @@
+Normal rank
@@ Property / cites work @@
+Downgrading policies and relaxed noninterference
@@ Property / cites work: Downgrading policies and relaxed noninterference / rank @@
+Normal rank
@@ Property / cites work @@
+Who Can Declassify?
@@ Property / cites work: Who Can Declassify? / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling the What and Where of Declassification in Language-Based Security
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Shadow Knows: Refinement of Ignorance in Sequential Programs
+Normal rank
@@ Property / cites work @@
+Non-interference through determinism
@@ Property / cites work: Non-interference through determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Securing interaction between threads and the scheduler in the presence of synchronization
+Normal rank