@doctoralThesis{Berg_2013,
title={Formal verification of cryptographic security proofs},
author={Berg, Matthias},
doi={http://dx.doi.org/10.22028/D291-26528},
year={2013}
}