Securing interaction between threads and the scheduler in the presence of synchronization (Q843217): Difference between revisions

@@ Property / cites work @@
+Transforming out timing leaks
@@ Property / cites work: Transforming out timing leaks / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatic Approach to Information Flow in Programs
+Normal rank
@@ Property / cites work @@
+Q4535032
@@ Property / cites work: Q4535032 / rank @@
+Normal rank
@@ Property / cites work @@
+Noninterference for concurrent programs and thread systems
+Normal rank
@@ Property / cites work @@
+Type inference against races
@@ Property / cites work: Type inference against races / rank @@
+Normal rank
@@ Property / cites work @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+Q3238692
@@ Property / cites work: Q3238692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518881
@@ Property / cites work: Q4518881 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform type structure for secure information flow
+Normal rank
@@ Property / cites work @@
+Security for Multithreaded Programs Under Cooperative Scheduling
+Normal rank
@@ Property / cites work @@
+Q4798025
@@ Property / cites work: Q4798025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3043825
@@ Property / cites work: Q3043825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411973
@@ Property / cites work: Q4411973 / rank @@
+Normal rank