Quantitative information flow as safety and liveness hyperproperties (Q2453117): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963472894
@@ Property / OpenAlex ID: W2963472894 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0871
@@ Property / arXiv ID: 1207.0871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691050
@@ Property / cites work: Q3691050 / rank @@
+Normal rank
@@ Property / cites work @@
+Assessing security threats of looping constructs
@@ Property / cites work: Assessing security threats of looping constructs / rank @@
+Normal rank
@@ Property / cites work @@
+On the Foundations of Quantitative Information Flow
+Normal rank
@@ Property / cites work @@
+Quantitative information flow as safety and liveness hyperproperties
+Normal rank
@@ Property / cites work @@
+Q2849851
@@ Property / cites work: Q2849851 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Avoiding exponential explosion
@@ Property / cites work: Avoiding exponential explosion / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient weakest preconditions
@@ Property / cites work: Efficient weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Notions of Leakage for One-try Attacks
+Normal rank
@@ Property / cites work @@
+Computing the Leakage of Information-Hiding Systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2453117