Formally verifying Kyber -- Episode IV: Implementation correctness

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: José Bacelar Almeida, Universidade do Minho, INESC TEC Manuel Barbosa, University of Porto (FCUP), INESC TEC Gilles Barthe, Max Planck Institute for Security and Privacy, IMDEA Software Benjamin Grégoire, Université Côte dAzur, French Institute for Research in Computer Science and Automation Vincent Laporte, Université de Lorraine, French National Centre for Scientific Research, French Instit

Journal title: IACR Transactions on Cryptographic Hardware and Embedded Systems

Journal number: 2023-3

Journal publisher: Ruhr University Bochum

Published year: 2023

Published pages: 164-193

DOI identifier: 10.46586/tches.v2023.i3.164-193

ISSN: 2569-2925