Certified compilation for cryptography: extended x86 instructions and constant-time verification. (English) Zbl 07553866
Bhargavan, Karthikeyan (ed.) et al., Progress in cryptology – INDOCRYPT 2020. 21st international conference on cryptology in India, Bangalore, India, December 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12578, 107-127 (2020).