Results 21 to 30 of about 2,079 (155)
Transactions on Cryptographic Hardware and Embedded Systems, 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 proof assistant, which is syntactically very close to the pseudocode description of the scheme as given in ...
Bacelar Almeida, José +11 more
openaire +6 more sources
Polynesian Journal of MathematicsContains fulltext : 315394.pdf (Publisher’s version ) (Open Access)
Barbosa, M., Schwabe, P.
openaire +2 more sources
Fault-Enabled Chosen-Ciphertext Attacks on Kyber [PDF]
, 2021 NIST's PQC standardization process is in the third round, and a first final choice between one of three remaining lattice-based key encapsulation mechanisms is expected by the end of 2021. This makes studying the implementation-security aspect of the candidates a pressing matter.
Julius Hermelink +2 more
openaire +4 more sources
PUF-Kyber: Design of a PUF-Based Kyber Architecture Benchmarked on Diverse ARM Processors
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 In this paper, through using physical unclonable functions (PUF) and true random number generators (TRNG), we improve the overall security of CRYSTALS-Kyber and provide physical security to it. Our implementation results on ARMv7 and ARMv8 architectures indicate significant speedup, compared to the reference work.
Saeed Aghapour +4 more
openaire +2 more sources
Masking Kyber: First- and Higher-Order Implementations
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021 In the final phase of the post-quantum cryptography standardization effort, the focus has been extended to include the side-channel resistance of the candidates. While some schemes have been already extensively analyzed in this regard, there is no such study yet of the finalist Kyber.In this work, we demonstrate the first completely masked ...
Bos, Joppe Willem +4 more
openaire +4 more sources
HI-Kyber: A novel high-performance implementation scheme of Kyber based on GPU [PDF]
, 2023 CRYSTALS-Kyber, as the only public key encryption (PKE) algorithm selected by the National Institute of Standards and Technology (NIST) in the third round, is considered one of the most promising post-quantum cryptography (PQC) schemes.
Xinyi Ji +5 more
core +1 more source
Tight Analysis of Decrypton Failure Probability of Kyber in Reality [PDF]
, 2022 Kyber is a candidate in the third round of the National Institute of Standards and Technology (NIST) Post-Quantum Cryptography (PQC) Standardization. However, because of the protocol\u27s independence assumption, the bound on the decapsulation failure ...
Weize Wang, Yunlei Zhao, Boyue Fang
core +1 more source
The security of Kyber's FO-transform.
IACR Cryptol. ePrint Arch., 2023 In this short note we give another direct proof for the variant of the FO transform used by Kyber in the QROM. At PKC'23 Maram & Xagawa gave the first direct proof which does not require the indirection via FO with explicit rejection, thereby avoiding either a non-tight bound, or the necessity to analyze the failure probability in a new setting ...
Barbosa, Manuel, Hülsing, Andreas
openaire +2 more sources
Advanced Quantum Technologies, Volume 9, Issue 7, July 2026.A quantum‐secured authentication framework, QSAFE‐V, is introduced for vehicular Tactile Internet environments. By integrating Quantum Identity Tokens, lattice‐based cryptography, and edge‐assisted verification, the framework enables lightweight mutual authentication with strong resistance against replay, impersonation, and quantum‐enabled attacks ...
Shakil Ahmed +2 more
wiley +1 more source
Advanced Quantum Technologies, Volume 9, Issue 5, May 2026.ABSTRACT Quantum‐native communication systems are reshaping secure, programmable, and coherence‐aware networking beyond the classical paradigm. As intelligent physical infrastructures, ranging from unmanned aerial vehicle swarms to satellite Quantum Key Distribution (QKD) platforms, demand trust, synchronization, and ultra‐reliability, conventional ...
Shakil Ahmed +2 more
wiley +1 more source