Automated techniques for provably safe mobile code. (Q1853627): Difference between revisions

@@ Property / cites work @@
+A semantic model of types and machine instructions for proof-carrying code
+Normal rank
@@ Property / cites work @@
+Resource bound certification
@@ Property / cites work: Resource bound certification / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence and canonical forms in the LF type theory
+Normal rank
@@ Property / cites work @@
+Stack-based typed assembly language
@@ Property / cites work: Stack-based typed assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+Stack-based typed assembly language
@@ Property / cites work: Stack-based typed assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936138
@@ Property / cites work: Q4936138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012879
@@ Property / cites work: Q4012879 / rank @@
+Normal rank
@@ Property / cites work @@
+Elf: A meta-language for deductive systems
@@ Property / cites work: Elf: A meta-language for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751369
@@ Property / cites work: Q2751369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944858
@@ Property / cites work: Q4944858 / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for expressive security policies
@@ Property / cites work: A type system for expressive security policies / rank @@
+Normal rank
@@ Property / cites work @@
+A dependently typed assembly language
@@ Property / cites work: A dependently typed assembly language / rank @@
+Normal rank