After months of work, we are releasing version 2 of QUAIL, with improved algorithms and statistical simulation. The new version is up to thousands time faster than the previous one.

QUAIL will be presented in a tool paper entitled “QUAIL: a quantitative security analyzer for imperative code” at the next CAV conference, from July 13 to 19, 2013 in Saint Petersburg, Russia.

The first version QUAIL 1.0 is available in the download section.

The tool is distributed in two packages: a binary package and a sources package.

The website of QUAIL has been recently updated.

Under Documentation you will find details about the installation of the tool, the language used for writing programs, and some bibliography about the quantification of information leakage.

Several examples have also been added in the Examples menu.

In a next update the Download section will be available.

QUAIL is a new tool for analyzing in imperative languages. This website will promote and distribute the tool, provide updates and documentation.