HASLab - Other Publications
Permanent URI for this collection
Browse
Browsing HASLab - Other Publications by Author "5604"
Results Per Page
Sort Options
-
ItemFixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium( 2023) Manuel Barbosa ; 5604
-
ItemFormally verifying Kyber Part I: Implementation Correctness( 2023) Hugo Pereira Pacheco ; Manuel Barbosa ; José Bacelar Almeida ; 5647 ; 5604 ; 5598
-
ItemKyber terminates( 2023) Manuel Barbosa ; 5604
-
ItemMachine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{ }$( 2023) Manuel Barbosa ; 5604
-
ItemThe security of Kyber's FO-transform( 2023) Manuel Barbosa ; 5604