Comparative Analysis of Leakage Tools on Scalable Case Studies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Comparative Analysis of Leakage Tools on Scalable Case Studies


Quantitative security techniques have been proven effective to measure the security of systems against various types of attackers. However, such techniques are often tested against small-scale academic examples. In this paper we use analyze two scalable, real life privacy case studies: the privacy of the energy consumption data of the users of a smart grid network and the secrecy of the voters' voting preferences with different types of voting protocols. We analyze both case studies with three state-of-the-art information leakage computation tools: LeakWatch, Moped-QLeak, and our tool QUAIL equipped with a new trace analysis algorithm. We highlight the relative advantages and drawbacks of the tools and compare their usability and effectiveness in analyzing the case studies.
Fichier principal
Vignette du fichier
SPIN_2015_submission_9.pdf (351.79 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01241352 , version 1 (10-12-2015)



Fabrizio Biondi, Axel Legay, Jean Quilbeuf. Comparative Analysis of Leakage Tools on Scalable Case Studies. 22nd International SPIN Workshop on Model Checking of Software, Aug 2015, Stellenbosch, South Africa. ⟨10.1007/978-3-319-23404-5_17⟩. ⟨hal-01241352⟩
220 View
162 Download



Gmail Facebook X LinkedIn More