@Article{Ste06,
author={G. Steel},
title={Formal Analysis of {PIN} Block Attacks},
journal={Theoretical Computer Science},
year={2006},

volume={367},
number={1-2},
pages={257-270},
publisher={Elsevier},
month={},
note={},
key={}
}