Results 191 to 200 of about 1,801,560 (284)

Cryptographic Authentication of Navigation Protocols

, 2005
Sam Bretheim
openalex   +2 more sources

Secure software development: leveraging application call graphs to detect security vulnerabilities. [PDF]

PeerJ Comput Sci
Yan L, Zhao G, Li X, Sun P.
europepmc   +1 more source

DNA-Inspired Lightweight Cryptographic Algorithm for Secure and Efficient Image Encryption. [PDF]

Sensors (Basel)
Abdelaal MA, Moustafa AI, Kasban H, Saleh H, Abdallah HA, Afifi MYI.   +5 more
europepmc   +1 more source

A critical analysis of deployed use cases for quantum key distribution and comparison with post-quantum cryptography. [PDF]

EPJ Quantum Technol
Aquina N, Cimoli B, Das S, Hövelmanns K, Weber FJ, Okonkwo C, Rommel S, Škorić B, Tafur Monroy I, Verschoor S.   +9 more
europepmc   +1 more source

ElasticPay: Instant Peer-to-Peer Offline Extended Digital Payment System. [PDF]

Sensors (Basel)
Reddy AVSK, Banda G.
europepmc   +1 more source

Towards an information-theoretically safe cryptographic protocol

, 2006
Pedro Fortuny Ayuso
openalex   +2 more sources

Cognitive intelligence routing protocol for disaster management and underwater communication system in underwater acoustic network. [PDF]

Sci Rep
Saleem K, Wang L, Almogren A, Ntizikira E, Rehman AU, Bharany S, Hussen S.   +6 more
europepmc   +1 more source

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

, 2007
Santiago Escobar, Catherine Meadows, José Meseguer   +2 more
openalex   +1 more source

A verifiably secure and robust authentication protocol for synergistically-assisted IoD deployment drones. [PDF]

PLoS One
Algarni AD, Innab N, Algarni F.
europepmc   +1 more source

Abstractions for verification of security properties of cryptographic protocols

, 2003
Alexandre Boisseau
openalex   +1 more source