Thèse de Florian Dold

"The GNU taler system: practical and provably secure electronic payments" thèse de doctorat de l'Université de Rennes 1 en informatique.