@PHDTHESIS{dreie2013,
url = "http://www.theses.fr/2013GRENM051",
title = "Formal Verification of Voting and Auction Protocols : From Privacy to Fairness and Verifiability",
author = "Dreier, Jannik",
year = "2013",
note = "Thèse de doctorat dirigée par Lakhnech, Yassine et Lafourcade, Pascal Informatique Grenoble 2013",
note = "2013GRENM051",
url = "http://www.theses.fr/2013GRENM051/document",
}