Performance of Post-Quantum Signatures: Analysis and Comparison
Explore the performance and characteristics of various post-quantum signature schemes including Lattice-based Dilithium, QTesla, Falcon, Symmetric Sphincs+, Picnic, Multivariate GEMSS, Rainbow, and more. Understand the implications of using these schemes in TLS, code signing, firmware updates, signe
1 views • 29 slides
SPHINCS+ Approach Overview
SPHINCS+ is a post-quantum cryptography approach submitted to the NIST project. It utilizes a hyper-tree structure with specific parameters to enhance security and reduce the tree height. The approach involves picking indices randomly to sign messages efficiently and incorporates modifications to re
0 views • 18 slides
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
Post-Quantum Security and Cryptographic Hash Functions
Explore the transition to post-quantum security with a focus on cryptographic hash functions like SPHINCS+, covering collision resistance, second-preimage resistance, preimage resistance, and more. Understand the concepts behind classical and post-quantum security, including adversary capabilities i
0 views • 48 slides
Formally Verified Tight Security Proof for SPHINCS+
Discover a formally verified security proof for the stateless hash-based digital signature scheme SPHINCS+, increasing confidence in its security and facilitating future formal verification with a modularized approach.
0 views • 20 slides
SPHINCS+ Lessons Learned in Hash-based Signatures
Explore the key takeaways from the SPHINCS+ project including the importance of teamwork, hash-based signatures, one-time signatures, design criteria, and going stateless. Learn about the individuals involved, the state-of-the-art techniques, and the critical aspects of SPHINCS+ for practical perfor
0 views • 22 slides