Browsing Theoretical Computer Science Group by Author "Malacaria, P"
Now showing items 1-8 of 8
-
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 ... -
Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow
Malacaria, PSeveral mathematical ideas have been investigated for Quantitative Information Flow. Information theory, probability, guessability are the main ideas in most proposals. They aim to quantify how much information is leaked, ... -
All-Solution Satisfiability Modulo Theories: applications, algorithms and benchmarks
Phan, Q-S; Malacaria, P; IEEE (2015) -
Concurrent Bounded Model Checking
Phan, Q-S; Malacaria, P; Pasareanu, CS (ACM, 2015-02) -
Efficient Numerical Frameworks for Multi-objective Cyber Security Planning
Khouzani, MHR; Malacaria, P; Hankin, C; Fielder, A; Smeraldi, F (2016) -
Full abstraction for PCF
Abramsky, S; Jagadeesan, R; Malacaria, P (2000-12-15) -
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 ... -
Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions
Chen, H; Malacaria, PWhen studying the information leakage in programs or protocols, a natural question arises: "what is the worst case scenario?". This problem of identifying the maximal leakage can be seen as a channel capacity problem in ...