HASLab - Other Publications

Permanent URI for this collection

http://localhost:4000/handle/123456789/186

Browse

0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

Formally verifying Kyber Part I: Implementation Correctness

( 2023) Hugo Pereira Pacheco ; Manuel Barbosa ; José Bacelar Almeida ; 5647 ; 5604 ; 5598
General-Purpose Secure Conflict-free Replicated Data Types

( 2023) Bernardo Luís Portela ; Hugo Pereira Pacheco ; 6060 ; 5647