@phdthesis{Laf12,
title = {Computer-Aider Security for: Cryptographic Primitives, Voting Protocols and Wireless Sensor Networks },
author = {Lafourcade, Pascal},
month = {11},
year = {2012},
note = {192~pages},
type = {Habilitation \`a diriger des recherches},
school = {Verimag, Grenoble, France},
team = {DCS},
}
