Cryptography

• 2026-08-11 Towards libshrincs: verified hash-based signatures for Bitcoin
• 2026-08-11 Choosing the verification toolchain for libshrincs
• 2026-05-19 Formal Verification of WOTS+ post-quantum signatures
• 2026-04-12 Benchmarking SLH-DSA Aggregation with STARKs
• 2026-04-07 Formal Verification of secp256k1 modular scalar multiplication
• 2026-01-02 Hello, World!