Characterizing collision and second-preimage resistance in Linicrypt

DOI10.1007/978-3-030-36030-6_18zbMath1455.94182OpenAlexW2990107148MaRDI QIDQ2175923

Mike Rosulek, Trevor Swope, Ian McQuoid

Publication date: 30 April 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-36030-6_18

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (3)

Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems ⋮ Moving the bar on computationally sound exclusive-or ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linicrypt: A Model for Practical Cryptography
• SPHINCS: Practical Stateless Hash-Based Signatures
• Digital Signatures Out of Second-Preimage Resistant Hash Functions
• W-OTS+ – Shorter Signatures for Hash-Based Signature Schemes

This page was built for publication: Characterizing collision and second-preimage resistance in Linicrypt