Sustainable cyber-physical VANETs with AI-driven anomaly detection and energy-efficient multi-criteria routing using machine learning algorithms. [PDF]
Sci RepWong WK, Baskar S, Abubeker KM, Ng PK.
europepmc +1 more source
Kyber og Easycrypt - Logisk verifiserbare sikkerhetsbevis
This thesis describes the cryptographic schemes ElGamal and Kyber, and outlines how EasyCrypt can be used to verify the security of these systems. It begins with a description of ElGamal, accompanied by a written proof of correctness and a proof of IND-CPA security.
openaire +1 more source
Quantum-resilient cross-trust evaluation for zero trust 5G security. [PDF]
Sci RepJeysuriya K, Renjith PN, Sudhakaran G.
europepmc +1 more source
Research on Development Progress and Test Evaluation of Post-Quantum Cryptography. [PDF]
Entropy (Basel)Zhang M +6 more
europepmc +1 more source
SecuFL-IoT: an adaptive privacy-preserving federated learning framework for anomaly detection in smart industrial networks. [PDF]
Sci RepAlqazzaz A.
europepmc +1 more source
QRBT: Quantum Driven Reinforcement Learning for Scalable Blockchain Transaction Processing. [PDF]
PLoS OneLella KK, Mallu SRK.
europepmc +1 more source
A Post-Quantum Secure RFID Authentication Protocol Based on NTRU Encryption Algorithm. [PDF]
Sensors (Basel)Liu H, Wu H, Ge N, Dong Q.
europepmc +1 more source
An MLWE-Based Cut-and-Choose Oblivious Transfer Protocol. [PDF]
Entropy (Basel)Tang Y +5 more
europepmc +1 more source
Quantum secured blockchain framework for enhancing post quantum data security. [PDF]
Sci RepReddy NR +5 more
europepmc +1 more source