Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Antoine Séré"'
Autor:
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2023, Iss 3 (2023)
In this paper we present the first formally verified implementations of Kyber and, to the best of our knowledge, the first such implementations of any post-quantum cryptosystem. We give a (readable) formal specification of Kyber in the EasyCrypt proo
Externí odkaz:
https://doaj.org/article/c082783eb324437292b239d88846e0e8
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030393212
VMCAI
VMCAI
Code generation is gaining popularity as a technique to bridge the gap between high-level models and executable code. We describe the theory underlying the PVS2C code generator that translates functional programs written using the PVS specification l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::311b81a8afd8ee065838f0e6176cdee5
https://doi.org/10.1007/978-3-030-39322-9_4
https://doi.org/10.1007/978-3-030-39322-9_4
