Results 141 to 150 of about 1,801,560 (284)

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols

, 2001
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague   +3 more
openalex   +1 more source

Card-Based Cryptographic Protocols Using a Minimal Number of Cards

International Conference on the Theory and Application of Cryptology and Information Security, 2015
Alexander Koch, Stefan Walzer, Kevin Härtel   +2 more
semanticscholar   +1 more source

HERMEES: A Holistic Evaluation and Ranking Model for Energy-Efficient Systems Applied to Selecting Optimal Lightweight Cryptographic and Topology Construction Protocols in Wireless Sensor Networks. [PDF]

Sensors (Basel)
Prvulovic P, Radosavljevic N, Babic D, Drajic D.   +3 more
europepmc   +1 more source

A fully efficient secure quantum cryptography protocol

, 2001
Xiang‐Bin Wang
openalex   +2 more sources

Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties

Foundations and Practice of Security, 2015
P. Lafourcade, Maxime Puys
semanticscholar   +1 more source

Bio-inspired cryptography based on proteinoid assemblies. [PDF]

PLoS One
Mougkogiannis P, Ghadafi E, Adamatzky A.
europepmc   +1 more source

A Practical Attack on a Braid Group Based Cryptographic Protocol [PDF]

, 2005
Alexei Myasnikov, Vladimir Shpilrain, Alexander Ushakov   +2 more
openalex   +1 more source

Neural network-based symmetric encryption algorithm with encrypted traffic protocol identification. [PDF]

PeerJ Comput Sci
Hao J, Jin M, Li Y, Yang Y.
europepmc   +1 more source

Role based specification and security analysis of cryptographic protocols using asynchronous product automata

, 2002
Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph   +2 more
openalex   +2 more sources

Erratum: Decoy-state protocol for quantum cryptography with four different intensities of coherent light [Phys. Rev. A72, 012322 (2005)] [PDF]

, 2005
Xiang‐Bin Wang
openalex   +1 more source