Manuel Bernardo Martins Barbosa
AuthID: R-000-A22
1
TITLE: Completing the Chain: Verified Implementations of Hash-Based Signatures and Their Security
AUTHORS: Manuel Barbosa; François Dupressoir; Rui Fernandes; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2026, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2026
AUTHORS: Manuel Barbosa; François Dupressoir; Rui Fernandes; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2026, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2026
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP