Communication Dans Un Congrès
Année : 2020
Bhargavan Karthikeyan : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03154275
Soumis le : dimanche 28 février 2021-09:39:57
Dernière modification le : jeudi 1 février 2024-10:04:19
Dates et versions
Identifiants
- HAL Id : hal-03154275 , version 1
Citer
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, et al.. HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms). CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Nov 2020, Virtual Event, United States. ⟨hal-03154275⟩
58
Consultations
0
Téléchargements