We helped build the first formally verified hash-based signature tool (XMSS/XMSS^MT) using Jasmin for AMD64. By linking low-level code to machine-checked EasyCrypt security proofs, we guarantee functional correctness and cryptographic safety. hubs.li/Q04qMGtB0
Leading Experts in Post-Quantum Cryptography For Software and Hardware.
- This week, we're thrilled to be attending IETF 126 Vienna, contributing to working groups on PQC. We're coauthors on a number of IETF drafts we hope will go through the process of becoming standards for the future of the Internet. #cybersecurity #IETF126 hubs.li/Q04qsyWP0
- Organizations must transition to post-quantum cryptography, but relying on third-party vendors creates massive supply chain risks. The ASD's LATICE framework helps by offering a 5-phase guide to locate, assess, triage, implement, and communicate PQC. hubs.li/Q04p-3cK0
- Discrete Gaussian sampling in lattice cryptography is vulnerable to power analysis attacks. Existing masked samplers are slow and rely on costly comparison trees. This paper introduces a rejection-based sampler using bitslicing that is 4–20x faster. hubs.li/Q04n_Zp00 #sca

