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