Manuel Bernardo Martins Barbosa
AuthID: R-000-A22
1
TÃTULO: Machine-Checked Security for $$\textrm{XMSS} $$ as in RFC 8391 and $$\mathrm {SPHINCS^{+}} $$
AUTORES: Manuel Barbosa; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2023
AUTORES: Manuel Barbosa; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2023
