@mastersthesis{born_11:master,
title = {Automatic Verification of Equivalences of Cryptographic Games},
author = {Holger Bornträger},
year = {2011},
date = {2011-01-01},
school = {Saarland University},
keywords = {}
}