@inproceedings{sab05:esorics,
  title = 	 {Machine-Checked Security Proofs of Cryptographic Signature Schemes},
  year = 	 {2005},
  editor = 	 {},
  volume = 	 {3xxx},
  booktitle={Proceedings of {ESORICS}'05},
  series = 	 lncs,
  publisher = springer,
 author={S. Tarento}
}