HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms)

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella Béguelin. HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms). IACR Cryptology ePrint Archive, 2020:572, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.