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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-76637-7_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2150909000
@@ Property / OpenAlex ID: W2150909000 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3498434