Browsing Theoretical Computer Science Group by Subject "Quantitative Information Flow"
Now showing items 1-2 of 2
-
Quantifying Information Leaks Using Reliability Analysis
(ACM, 2014)We report on our work-in-progress into the use of reliability analysis to quantify information leaks. In recent work we have proposed a software reliability analysis technique that uses symbolic execution and model counting ...