Upper bound computation of information leakages for unbounded recursion (Q6045049): Difference between revisions

@@ Property / cites work @@
+Combining Model Checking and Data-Flow Analysis
@@ Property / cites work: Combining Model Checking and Data-Flow Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable Approximation of Quantitative Information Flow in Programs
+Normal rank
@@ Property / cites work @@
+Q5422499
@@ Property / cites work: Q5422499 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Information Flow Using Symbolic Model-Checking
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3341865
@@ Property / cites work: Q3341865 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise quantitative information flow analysis -- a symbolic approach
+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 @@
+Q2763969
@@ Property / cites work: Q2763969 / rank @@
+Normal rank
@@ Property / cites work @@
+Open-WBO: A Modular MaxSAT Solver,
@@ Property / cites work: Open-WBO: A Modular MaxSAT Solver, / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Developments in Quantitative Information Flow (Invited Tutorial)
+Normal rank
@@ Property / cites work @@
+On the Foundations of Quantitative Information Flow
+Normal rank