Results 221 to 230 of about 1,277,920 (244)

Security and Composition of Multiparty Cryptographic Protocols

Journal of Cryptology, 2000
Ran Canetti
exaly  

Verification of cryptographic protocols: tagging enforces termination

Theoretical Computer Science, 2005
Andreas Podelski, Bruno Blanchet
exaly  

Steganography and collusion in cryptographic protocols.

2006
Steganography, the hiding of covert messages inside innocuous communication, is an active area of cryptographic research. Recent research has shown that provably undetectable steganography is possible in a wide variety of settings. We believe that the existence of such undetectable steganography will have far reaching implications.
openaire   +1 more source

Secrecy of cryptographic protocols under equational theory

Knowledge-Based Systems, 2009
Hamido Fujita
exaly  

QoP-ML: Quality of protection modelling language for cryptographic protocols

Computers and Security, 2012
Bogdan Księżopolski
exaly  

Cryptographic Protocols

2005
  +4 more sources

Cryptographic Protocol

2012
Ling Dong, Kefei Chen
openaire   +1 more source

A survey on the application of blockchain in cryptographic protocols

Cybersecurity
Xiaofeng Chen, Qingfeng Cheng
exaly  

Sequential rationality in cryptographic protocols

ACM Transactions on Economics and Computation, 2013
Ronen Gradwohl, Alon Rosen
exaly  

Cryptographic Protocols

2013
Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny   +2 more
openaire   +1 more source