Precise quantitative information flow analysis -- a symbolic approach (Q2453114): Difference between revisions

@@ Property / describes a project that uses @@
+PipLib
@@ Property / describes a project that uses: PipLib / rank @@
+Normal rank
@@ 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.1016/j.tcs.2014.04.022
+Normal rank
@@ Property / OpenAlex ID @@
+W2126908237
@@ Property / OpenAlex ID: W2126908237 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux for Projection Computation and Knowledge Compilation
+Normal rank
@@ Property / cites work @@
+Q4536314
@@ Property / cites work: Q4536314 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting integer points in parametric polytopes using Barvinok's rational functions
+Normal rank
@@ Property / cites work @@
+Quantitative Information Flow, Relations and Polymorphic Types
+Normal rank
@@ Property / cites work @@
+Q5534234
@@ Property / cites work: Q5534234 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Foundations of Quantitative Information Flow
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Signal Processing Systems
@@ Property / cites work: Handbook of Signal Processing Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric integer programming
@@ Property / cites work: Parametric integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Polynomial Time Algorithm for Counting Integral Points in Polyhedra When the Dimension is Fixed
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5447543
@@ Property / cites work: Q5447543 / rank @@
+Normal rank
@@ Property / cites work @@
+The Euler-Maclaurin and Taylor Formulas: Twin, Elementary Derivations
+Normal rank
@@ Property / cites work @@
+Predicate Abstraction in a Program Logic Calculus
@@ Property / cites work: Predicate Abstraction in a Program Logic Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Loop summarization using state and transition invariants
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical Measurement of Information Leakage
@@ Property / cites work: Statistical Measurement of Information Leakage / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional noninterference from first principles
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2453114