Results 131 to 140 of about 993 (178)

A Hybrid Hash-Encryption Scheme for Secure Transmission and Verification of Marine Scientific Research Data. [PDF]

Sensors (Basel)
Wang H, Chen M, Wang M, Yang M.
europepmc   +1 more source

Quantum cryptography integrating an optical quantum memory. [PDF]

Sci Adv
Mamann H, Nieddu T, Hoffet F, Bozzio M, de Loubresse FG, Kerenidis I, Diamanti E, Urvoy A, Laurat J.   +8 more
europepmc   +1 more source

On the Convergence of Internet of Things and Decentralized Finance: Security Challenges and Future Directions. [PDF]

Sensors (Basel)
Sarasijanayanan P, Nedungadi N, Sankaran S.   +2 more
europepmc   +1 more source

Post-Quantum Revocable Linkable Ring Signature Scheme Based on SPHINCS+ for V2G Scenarios. [PDF]

Sensors (Basel)
Liu S, Du YN, Wang XA, Hu X, Su HE.
europepmc   +1 more source

Kirchhoff Law Johnson noise key generation for secure decentralized identifiers. [PDF]

Sci Rep
Mohanasundar K, Flanery SA, Kotikela S, Chamon C.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

A language-dependent cryptographic primitive

Journal of Cryptology, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Toshiya Itoh, Hiroki Shizuya, Shizuya Hiroki   +2 more
exaly   +3 more sources

Verification of a Cryptographic Primitive

ACM Transactions on Programming Languages and Systems, 2015
This article presents a full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of functional correctness in the Coq proof assistant, using the Verifiable C program logic. Verifiable C is a separation logic for the C language, proved sound with respect to the operational semantics for
Andrew W Appel
exaly   +2 more sources

Controlled Operations as a Cryptographic Primitive

Lecture Notes in Computer Science, 2001
Controlled two-place operations (CTPO) are introduced as a new cryptographic primitive for the block ciphers. Design criteria, structure, some good cryptographic properties of the CTPO are considered. There are proposed CTPO representing single nonlinear operations on the operands of relatively large length.
Boris V. Izotov, Alexander A. Moldovyan, Nick A. Moldovyan   +2 more
exaly   +2 more sources

Primitive Constituent Elements of Cryptographic Protocols

2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), 2018
Many cryptographic protocols have been proposed, and many studies of them have been done. However, there is no study to identify constituent elements of cryptographic protocols that are elements of the protocols consist of. The constituent elements can be used for the basis of classification of already proposed cryptographic protocols, the basis of ...
Yuichi Gotō, Jingde Cheng
exaly   +2 more sources