HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020
No file

Dates and versions

hal-03154275 , version 1 (28-02-2021)

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

Share

Gmail Facebook X LinkedIn More