Encrypted Matrix-Vector Products from Secret Dual Codes

Encrypted matrix-vector product (EMVP) involves a client uploading an encrypted matrix, and the server storing it. The client sends query ...







Mathilde Arnaud, Véronique Cortier, and Stéphanie Delaune ...
We first propose a cal- culus for modeling and reasoning about security pro- tocols, including in particular secured routing proto- cols. Our calculus extends ...
THÈSE - LAAS
Ma thèse s'est déroulée au LAAS - CNRS à Toulouse pendant 3 ans et ~4 mois. Malgré quelques imprévus tels que la crise sanitaire mondiale et la pénurie ...
New Security Protocols for Offline Point-of-Sale Machines
J'aimerais tout particuli`erement remercier Fred Raynal pour sa confiance depuis toutes ces années ainsi que la liberté qu'il m'accorde dans ...



Autres Cours:

Cryptology course