Results 141 to 150 of about 6,039 (185)

Kyber og Easycrypt - Logisk verifiserbare sikkerhetsbevis

open access: yes
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

An MLWE-Based Cut-and-Choose Oblivious Transfer Protocol. [PDF]

open access: yesEntropy (Basel)
Tang Y   +5 more
europepmc   +1 more source

Quantum secured blockchain framework for enhancing post quantum data security. [PDF]

open access: yesSci Rep
Reddy NR   +5 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy