@MastersThesis{Kal07,
author={E. Kaldeli},
title={Investigating formal representations of PIN block attacks},
school={School of Informatics, University of Edinburgh},
year={2007},

type={},
address={},
month={},
note={},
key={}
}