Machine-Checked Security Proofs of Cryptographic Signature Schemes.

Sabrina Tarento

Browse the full ESORICS paper archive.