Results 81 to 90 of about 1,558 (178)

On Formal Verification of Arithmetic-Based Cryptographic Primitives [PDF]

, 2009
Cryptographic primitives are fundamental for information security: they are used as basic components for cryptographic protocols or public-key cryptosystems. In many cases, their security proofs consist in showing that they are reducible to computationally hard problems. Those reductions can be subtle and tedious, and thus not easily checkable.
openaire   +3 more sources

An Algebraic Approach to Symmetric Linear Layers in Cryptographic Primitives

, 2022
Subroto RC.
europepmc   +1 more source

Quantum Cryptographic Primitives

The main motivation of this thesis is the uncertain panorama of cybersecurity risks and threats, accentuated by the arrival of the quantum computer. This type of computer is completely disruptive, since its operation is governed by quantum mechanical phenomena.
openaire   +2 more sources

A Post-Quantum Authentication and Key Agreement Protocol Based on Lattice-Based KEM for Secure Network Environments. [PDF]

Entropy (Basel)
Chen X, Wu W, Liang G, Tan H, Yu Y.
europepmc   +1 more source

Machine Learning Enhanced Quantum-Safe Encryption: A Novel Optimisation Framework. [PDF]

Sensors (Basel)
Ahmad R, Hossain MA, Mollick T, Sabuj SR.   +3 more
europepmc   +1 more source

A Lightweight Hybrid Authentication and Key Agreement Protocol for Decentralized Device-to-Device Communication with Post-Quantum Confidentiality. [PDF]

Sensors (Basel)
Savón-Berenguer A, Moraru SA, García-Naranjo JC, Braeken A.   +3 more
europepmc   +1 more source

Quantum cryptanalysis of ultralightweight mutual authentication protocols: A Grover's search model. [PDF]

PLoS One
Shahzadi M, Khalid M, Qadir S, Hussain M, Mujahid U, Najam-Ul-Islam M.   +5 more
europepmc   +1 more source

KATENA: a verifiable governance architecture for encrypted cloud storage systems. [PDF]

Front Big Data
Rodríguez-Aragón JF, Zato C, Pinto-Santos F, Sánchez-Pravos L.   +3 more
europepmc   +1 more source

Hardware Implementation-Based Lightweight Privacy- Preserving Authentication Scheme for Internet of Drones Using Physically Unclonable Function. [PDF]

Sensors (Basel)
Alsulieman R, Escobar EH, Swilley R, Sherif A, Khalil K, Elsersy M, Abdelfattah R.   +6 more
europepmc   +1 more source

Enhanced EAADE: a quantum-resilient and privacy-preserving authentication protocol for secure data exchange in vehicular social networks. [PDF]

Sci Rep
Alrashdi R, Altmemi JMH, Al-Shareeda MA, Al-Hchaimi AAJ, Homod RZ, Al-Mekhlafi ZG, Mohammed BA, Al-Dhlan KA.   +7 more
europepmc   +1 more source