Results 171 to 180 of about 1,801,560 (284)

A symbolic decision procedure for cryptographic protocols with time stamps

, 2004
Liana Bozga, Cristian Ene, Yassine Lakhnech   +2 more
openalex   +1 more source

RiceChain-Plus: an enhanced framework for blockchain-based rice supply chain systems-ensuring security, privacy, and efficiency. [PDF]

PeerJ Comput Sci
Yakubu BM, Alabdulatif AA, Bhattarakosol P.   +2 more
europepmc   +1 more source

Multi-partite quantum cryptographic protocols with noisy GHZ states

, 2004
Kai Chen, Hoi‐Kwong Lo
openalex   +2 more sources

Prudent engineering practice for cryptographic protocols

Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994
M. Abadi, R. Needham
semanticscholar   +1 more source

Blockchain in Critical Care. [PDF]

Indian J Crit Care Med
Gondode P, Dass C, Kumar S, Malviya A, Ashwin M, Khanna P.   +5 more
europepmc   +1 more source

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols

, 2004
Marco Bozzano, Giorgio Delzanno
openalex   +1 more source

Infinite State AMC-Model Checking for Cryptographic Protocols [PDF]

, 2007
Detlef Kähler, Ralf Küsters, Tomasz Truderung   +2 more
openalex   +1 more source

On cryptographic protocols employing asymmetric pairings - The role of Ψ revisited

Discrete Applied Mathematics, 2011
S. Chatterjee, A. Menezes
semanticscholar   +1 more source

Length-Weight Distribution of Non-Zero Elements in Randomized Bit Sequences. [PDF]

Sensors (Basel)
Lange C, Ahrens A, Krishnakumar YK, Grote O.   +3 more
europepmc   +1 more source

Guest editor’s introduction: Special issue on Modelling and Verification of Cryptographic Protocols

, 2004
Roberto M. Amadio
openalex   +1 more source