HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)

Complete list of metadata

https://hal.inria.fr/hal-03154275
Contributor : Bhargavan Karthikeyan Connect in order to contact the contributor
Submitted on : Sunday, February 28, 2021 - 9:39:57 AM
Last modification on : Friday, February 4, 2022 - 3:13:47 AM

Identifiers

  • HAL Id : hal-03154275, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

41