HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella Béguelin. HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms). In Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, editors, CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020. pages 899-918, ACM, 2020. [doi]

This author has not been identified. Look up 'Marina Polubelova' in GoogleThis author has not been identified. Look up 'Karthikeyan Bhargavan' in GoogleThis author has not been identified. Look up 'Jonathan Protzenko' in GoogleThis author has not been identified. Look up 'Benjamin Beurdouche' in GoogleThis author has not been identified. Look up 'Aymeric Fromherz' in GoogleThis author has not been identified. Look up 'Natalia Kulatova' in GoogleThis author has not been identified. Look up 'Santiago Zanella Béguelin' in Google

runs on WebDSL