Attack trees are widely used to represent threat scenarios in a succinct and intuitive manner,
suitable for conveying security information to non-experts. The manual construction of such …

Hyperproperties are properties of sets of computation traces. In this paper, we study
quantitative hyperproperties, which we define as hyperproperties that express a bound on …

Programs that process secret data may inadvertently reveal information about those secrets
in their publicly-observable output. This paper presents LeakWatch, a quantitative …

Quantitative information flow measurement techniques have been proven to be successful in
detecting leakage of confidential information from programs. Modern approaches are based …

Model counting is the problem of determining the number of solutions that satisfy a given set
of constraints. Model counting has numerous applications in the quantitative analyses of …

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 …

We present a new algorithm for model counting of a class of string constraints. In addition to
the classic operation of concatenation, our class includes some recursively defined …

Deep neural network models, especially Long Short Term Memory (LSTM), have shown
great success in analyzing Electronic Health Records (EHRs) due to their ability to capture …

The unintentional flow of confidential data to unauthorised users is a serious software
security vulnerability. Detection and repair of such errors is a non-trivial task that has been …

The outputs of a program that processes secret data may reveal information about the
values of these secrets. This paper develops an information leakage model that can …