Results 181 to 190 of about 5,154 (217)

Types for Cryptographic Protocols

2002
One of the many different approaches to proving properties of a cryptographic security protocol is to encode it within a process calculus [6],[7],[11],[12],[14],[20], and then to apply standard techniques from concurrency theory such as modelchecking [19] or equational reasoning [4],[5],[8],[9],[13],[15].
openaire   +1 more source

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

On message integrity in cryptographic protocols

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 2003
An operational model for message integrity in cryptographic protocols is presented, message integrity requirements are discussed, and message structures that satisfy those requirements are suggested. A message splicing/decomposition invariant of the cipher block chaining (CBC) mode of encryption is derived and used to identify heretofore-unknown ...
Stuart G. Stubblebine, Virgil D. Gligor
openaire   +1 more source

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

Autoformalization of Cryptographic Protocols

2025 IEEE International Conference on Data Mining Workshops (ICDMW)
Lauren Brandt, Joshua D. Guttman, Andres Molina-Markham   +2 more
openaire   +1 more source

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

IEEE Security and Privacy, 2022
Ralf Sasse, Cas Cremers, David Basin
exaly  

Cryptographic Protocols

2022
openaire   +1 more source

A Core Calculus for Equational Proofs of Cryptographic Protocols

2023
Xiong Fan, John Morrisett, Elaine Shi
exaly  

Prudent engineering practice for cryptographic protocols

IEEE Transactions on Software Engineering, 1996
M Abadi
exaly