Publicações

Machine-Checked Security for Rmxmss as in Rfc 8391 and $\Mathrm {Sphincs^{+}} $

AuthID
P-00Y-K3Z

Author(s)

Barbosa, M

Dupressoir, F

Grégoire, B

Hülsing, A

Meijers, M

Strub, PY

Editor(s)

Handschuh,H;Lysyanskaya,A

Document Type

Proceedings Paper

Year published

2023

Published

in Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 14085, Pages: 421-454 (33)

Conference

Advances in Cryptology – Crypto 2023 - 43Rd Annual International Cryptology Conference, Crypto 2023, Proceedings, Date: 20 August 2023 through 24 August 2023, Location: Santa Barbara

Indexing