HASLab - Other Publications
Permanent URI for this collection
Browse
Browsing HASLab - Other Publications by Author "5604"
Results Per Page
Sort Options
-
ItemBare PAKE: Universally Composable Key Exchange from just Passwords( 2024) Manuel Barbosa ; 5604
-
ItemC'est très CHIC: A compact password-authenticated key exchange from lattice-based KEM( 2024) Manuel Barbosa ; 5604
-
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
-
ItemX-Wing: The Hybrid KEM You've Been Looking For( 2024) Manuel Barbosa ; 5604