Conference Papers
Year : 2020
Bhargavan Karthikeyan : Connect in order to contact the contributor
https://inria.hal.science/hal-03154275
Submitted on : Sunday, February 28, 2021-9:39:57 AM
Last modification on : Thursday, February 1, 2024-10:04:19 AM
Dates and versions
Identifiers
- HAL Id : hal-03154275 , version 1
Cite
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⟩
60
View
0
Download