In this paper we start by reviewing both classical and probabilistic/quantitative approaches to program analysis. We shall provide a comparison of the two approaches. We shall use a simple information flow analysis to exemplify the classical approach. The existence of covert information flows through timing channels are difficult to detect using classical techniques; we show how such problems can be addressed using probabilistic techniques
This thesis deals with several quantitative aspects of program analysis. In particular, we consider ...
Probabilistic programs [6] are sequential programs, written in languages like C, Java, Scala, or ML,...
Abstract. Having a precise yet sound abstraction of the inputs of nu-merical programs is important t...
This paper provides a survey of recent work on adapting techniques for program analysis to compute p...
We present a semantics-based technique for analysing probabilistic properties of imperative programs...
AbstractWe present a semantics-based technique for analysing probabilistic properties of imperative ...
The aims of these lecture notes are two-fold: (i) we investigate the relation between the operationa...
We present an approach to probabilistic analysis which is based on program semantics and exploits th...
To guide the research efforts in the area of program analysis it is necessary to provide a taxonomy ...
The work is supported by the EPSRC. Abstract. In this paper we show how quantitative program logic [...
Quantitative program analysis involves computing numerical quantities about individual or col-lectio...
Classical quantitative information flow analysis often considers a system as an information-theoreti...
Abstract. We present an approach to probabilistic analysis which is based on program semantics and e...
Quantitative theories of information flow give us an approach to relax the absolute confidentiality ...
In multilevel systems it is important to avoid unwanted indirect information flow from higher level...
This thesis deals with several quantitative aspects of program analysis. In particular, we consider ...
Probabilistic programs [6] are sequential programs, written in languages like C, Java, Scala, or ML,...
Abstract. Having a precise yet sound abstraction of the inputs of nu-merical programs is important t...
This paper provides a survey of recent work on adapting techniques for program analysis to compute p...
We present a semantics-based technique for analysing probabilistic properties of imperative programs...
AbstractWe present a semantics-based technique for analysing probabilistic properties of imperative ...
The aims of these lecture notes are two-fold: (i) we investigate the relation between the operationa...
We present an approach to probabilistic analysis which is based on program semantics and exploits th...
To guide the research efforts in the area of program analysis it is necessary to provide a taxonomy ...
The work is supported by the EPSRC. Abstract. In this paper we show how quantitative program logic [...
Quantitative program analysis involves computing numerical quantities about individual or col-lectio...
Classical quantitative information flow analysis often considers a system as an information-theoreti...
Abstract. We present an approach to probabilistic analysis which is based on program semantics and e...
Quantitative theories of information flow give us an approach to relax the absolute confidentiality ...
In multilevel systems it is important to avoid unwanted indirect information flow from higher level...
This thesis deals with several quantitative aspects of program analysis. In particular, we consider ...
Probabilistic programs [6] are sequential programs, written in languages like C, Java, Scala, or ML,...
Abstract. Having a precise yet sound abstraction of the inputs of nu-merical programs is important t...