Sign in
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms).
Marina Polubelova
Karthikeyan Bhargavan
Jonathan Protzenko
Benjamin Beurdouche
Aymeric Fromherz
Natalia Kulatova
Santiago Zanella Béguelin
Published in:
CCS (2020)
Keyphrases
</>
massively parallel
parallel algorithm
parallel processing
domain specific
parallel implementation
information retrieval
databases
learning algorithm
artificial intelligence
bayesian networks
general purpose
single instruction multiple data