Browsing Theoretical Computer Science Group by Author "d Amorim, M"

Now showing items 1-1 of 1

    • Quantifying Information Leaks Using Reliability Analysis 

      Phan, Q-S; Malacaria, P; Pasareanu, CS; d Amorim, M; SPIN 2014 Proceedings of the 2014 International SPIN Symposium on Model Checking of Software (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 ...