Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $.

Manuel Barbosa, Franois Dupressoir, Benjamin Grgoire, Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub

Browse the full CRYPTO paper archive.