Louis-Marie TRAONOUEZ
Author's posts
QUAIL paper accepted at CAV 2013
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.
QUAIL release
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.
Website update
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.
