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

Cached

Download Links

by Sabrina Tarento
Venue:In Proceedings of ESORICS’05, volume 3xxx of Lecture Notes in Computer Science
Citations:9 - 1 self