Browsing Theoretical Computer Science Group by Subject "model checking"

Now showing items 1-1 of 1

    • Abstract Model Counting: A Novel Approach for Quantification of Information Leaks 

      Phan, Q-S; Malacaria, P; ASIA CCS '14 Proceedings of the 9th ACM symposium on Information, computer and communications security (ACM, 2014)
      We present a novel method for Quantitative Information Flow analysis. We show how the problem of computing information leakage can be viewed as an extension of the Satisfiability Modulo Theories (SMT) problem. This view ...