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

Manuel Barbosa; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub

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

Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub

Research output: Contribution to journal › Article › Academic

Original language	English
Pages (from-to)	1
Number of pages	34
Journal	IACR Cryptology ePrint Archive
Publication status	Published - 2023

Access to Document

Cite this

@article{5df270db23714782b68eb85fbe4d6b5b,

title = "Machine-Checked Security for \$\textbackslash{}mathrm\{XMSS\}\$ as in RFC 8391 and \$\textbackslash{}mathrm\{SPHINCS\}\textasciicircum{}\{+\}\$.",

author = "Manuel Barbosa and Fran{\c c}ois Dupressoir and Benjamin Gr{\'e}goire and Andreas H{\"u}lsing and Matthias Meijers and Pierre-Yves Strub",

year = "2023",

language = "English",

pages = "1",

journal = "IACR Cryptology ePrint Archive",

publisher = "IACR",

}