External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Marina Polubelova

This author has not been identified. Look up 'Marina Polubelova' in Google

Karthikeyan Bhargavan

This author has not been identified. Look up 'Karthikeyan Bhargavan' in Google

Jonathan Protzenko

This author has not been identified. Look up 'Jonathan Protzenko' in Google

Benjamin Beurdouche

This author has not been identified. Look up 'Benjamin Beurdouche' in Google

Aymeric Fromherz

This author has not been identified. Look up 'Aymeric Fromherz' in Google

Natalia Kulatova

This author has not been identified. Look up 'Natalia Kulatova' in Google

Santiago Zanella Béguelin

This author has not been identified. Look up 'Santiago Zanella Béguelin' in Google
runs on