More Typed Assembly Languages for Confidentiality (Q3498434): Difference between revisions

@@ Property / cites work @@
+Transforming out timing leaks
@@ Property / cites work: Transforming out timing leaks / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Resource bound certification
@@ Property / cites work: Resource bound certification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763667
@@ Property / cites work: Q2763667 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Computer Science
@@ Property / cites work: Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411968
@@ Property / cites work: Q4411968 / rank @@
+Normal rank
@@ Property / cites work @@
+A dependently typed assembly language
@@ Property / cites work: A dependently typed assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+More Typed Assembly Languages for Confidentiality
@@ Property / cites work: More Typed Assembly Languages for Confidentiality / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Secure information flow via linear continuations
@@ Property / cites work: Secure information flow via linear continuations / rank @@
+Normal rank