Enhancing Security for XMSS and SPHINCS+ Using Machine-Checked Methods
Advanced cryptographic techniques such as XMSS and SPHINCS+ are critical for ensuring secure digital signatures in a post-quantum world. This project focuses on improving the security and verification processes of XMSS and SPHINCS+ using machine-checked methods, aiming to enhance trust in these cruc
1 views • 17 slides
Hash-Based Signatures
This comprehensive guide delves into the practical applications of hash-based signatures, exploring implementations with XMSS, AES, SHA-2, and other cryptographic algorithms. The content covers XMSS implementations in C, smartcard setups, PRF and hash functions from AES and SHA-2, as well as compari
0 views • 8 slides
Hash-Based Signatures
This content discusses the security requirements of hash-based signatures, particularly focusing on XMSS (eXtended Merkle Signature Scheme). It highlights the minimal security requirements of digital signature schemes and the key aspects of XMSS security, such as resistance to chosen message attacks
0 views • 6 slides