Layout Randomization and Nondeterminism (Q5418953): Difference between revisions

@@ Property / author @@
-Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / rank @@
-Normal rank
@@ Property / author @@
+Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2733470343
@@ Property / OpenAlex ID: W2733470343 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic encryption
@@ Property / cites work: Probabilistic encryption / rank @@
+Normal rank
@@ Property / cites work @@
+Low-Level Software Security: Attacks and Defenses
@@ Property / cites work: Low-Level Software Security: Attacks and Defenses / rank @@
+Normal rank
@@ Property / cites work @@
+On Layout Randomization for Arrays and Functions
@@ Property / cites work: On Layout Randomization for Arrays and Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols using time-bounded task-PIOAs
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic domains for combining probability and non-determinism
+Normal rank
@@ Property / cites work @@
+Prevision Domains and Convex Powercones
@@ Property / cites work: Prevision Domains and Convex Powercones / rank @@
+Normal rank
@@ Property / cites work @@
+Layout randomization and nondeterminism
@@ Property / cites work: Layout randomization and nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Proving nondeterministically specified safety properties using progress measures
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank