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 <>
Submitted on : Sunday, February 28, 2021 - 9:39:57 AM
Last modification on : Tuesday, March 2, 2021 - 10:40:52 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

28