Results 201 to 210 of about 66,776 (234)

Delayed-Input Cryptographic Protocols

2017
The delayed-input witness-indistinguishable proof of knowledge of Lapidot and Shamir (LS) [CRYPTO 1989] is a powerful tool for designing round-efficient cryptographic protocols. Since LS was designed for the language of Hamiltonian graphs, when used as subprotocol it usually requires expensive NP reductions.
openaire   +2 more sources

Cryptographic Protocols

2017
This chapter is concerned with cryptographic protocols. We begin with an explanation of what components a cryptographic protocol consists of. We then illustrate the complexity of designing a secure cryptographic protocol by considering an artificially simple scenario, for which we propose and analyse seven candidate protocols.
openaire   +1 more source

Cryptographic protocols for auctions and bargaining

1994
Modern mathematical cryptography provides many protocols for designing social and economic institutions. This article deals with cryptographic protocols for auctions, bargaining and arbitration. The main contribution of the protocols is in the elimination of specific types of behaviour which otherwise might undermine the desirable properties of the ...
openaire   +1 more source

Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols

IEEE Security and Privacy, 2022
David Basin, Cas Cremers, Jannik Dreier   +2 more
exaly  

Cryptographic Protocols

2022
openaire   +1 more source

A Core Calculus for Equational Proofs of Cryptographic Protocols

2023
Joshua Gancher, Kristina Sojakova, Xiong Fan   +2 more
exaly  

Cryptographic protocols

2002
Hans Delfs, Helmut Knebl
openaire   +2 more sources

Prudent engineering practice for cryptographic protocols

IEEE Transactions on Software Engineering, 1996
M Abadi
exaly  

Hidden assumptions in cryptographic protocols

IEE Proceedings E: Computers and Digital Techniques, 1990
C Boyd
exaly  

Security and Composition of Multiparty Cryptographic Protocols

Journal of Cryptology, 2000
Ran Canetti
exaly