Machine-checked security proofs of cryptographic signature schemes (0)

by S Tarento
Venue:Proceedings of the 10th European Symposium On Research In Computer Security (ESORICS 2005), volume 3679 of Lecture