Modelling and verification of post-quantum key encapsulation mechanisms using Maude [PDF]
PeerJ Computer Science, 2023 Communication and information technologies shape the world’s systems of today, and those systems shape our society. The security of those systems relies on mathematical problems that are hard to solve for classical computers, that is, the available ...
Víctor García +4 more
doaj +9 more sources
A Post-Quantum Authentication and Key Agreement Protocol Based on Lattice-Based KEM for Secure Network Environments [PDF]
EntropyIn emerging environments such as cloud computing and the Internet of Things (IoT), secure authentication and key negotiation play a crucial role in protecting data transmitted over public networks.
Xiaoping Chen +4 more
doaj +2 more sources
Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude
IET Information Security, 2023 Facing the potential threat raised by quantum computing, a great deal of research from many groups and industrial giants has gone into building public-key post-quantum cryptographic primitives that are resistant to the quantum attackers.
Duong Dinh Tran +4 more
doaj +2 more sources
Scabbard: a suite of efficient learning with rounding key-encapsulation mechanisms
Transactions on Cryptographic Hardware and Embedded Systems, 2021 In this paper, we introduce Scabbard, a suite of post-quantum keyencapsulation mechanisms. Our suite contains three different schemes Florete, Espada, and Sable based on the hardness of module- or ring-learning with rounding problem.
Jose Maria Bermudo Mera +3 more
doaj +5 more sources
Tissue Regeneration with Hydrogel Encapsulation: A Review of Developments in Plants and Animals
BioDesign Research, 2021 Hydrogel encapsulation has been widely utilized in the study of fundamental cellular mechanisms and has been shown to provide a better representation of the complex in vivo microenvironment in natural biological conditions of mammalian cells.
Srikumar Krishnamoorthy +5 more
doaj +2 more sources
Identification Schemes from Key Encapsulation Mechanisms
Lecture Notes in Computer Science, 2011 We propose a generic way for deriving an identification (ID) scheme secure against concurrent man-in-the-middle attacks from a key encapsulation mechanism (KEM) secure against chosen ciphertext attacks on one-wayness (oneway-CCA). Then we give a concrete one-way-CCA secure KEM based on the Computational Diffie-Hellman (CDH) assumption.
Hiroaki Anada, Seikô Arita
exaly +2 more sources
A New Combiner for Key Encapsulation Mechanisms
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2019 Goichiro Hanaoka +2 more
exaly +2 more sources
Secure IoT in the Era of Quantum Computers—Where Are the Bottlenecks?
Sensors, 2022 Recent progress in quantum computers severely endangers the security of widely used public-key cryptosystems and of all communication that relies on it.
Maximilian Schöffel +3 more
doaj +1 more source
Key encapsulation mechanism based on polar codes
IET Communications, 2022 Abstract This paper introduces a key encapsulation mechanism based on polar codes, called as KEM‐PC, with secure and efficient key generation, encapsulation and decapsulation algorithms. In the proposed KEM‐PC, the ephemeral public encapsulation and secret decapsulation keys, which are generated at each key exchange session, are ...
Reza Hooshmand, Mahdi Khoshfekr
openaire +2 more sources
Single-Trace Attacks on Message Encoding in Lattice-Based KEMs
IEEE Access, 2020 In this article, we propose single-trace side-channel attacks against lattice-based key encapsulation mechanisms (KEMs) that are the third-round candidates of the national institute of standards and technology (NIST) standardization project. Specifically,
Bo-Yeon Sim +8 more
doaj +1 more source