Results 211 to 220 of about 684,168 (248)
Some of the next articles are maybe not open access.
Types for Cryptographic Protocols
2002One 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
2017The 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, 2003An 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 +2 more sources
Verification of cryptographic protocols: An experiment
1997The objective of this paper is to present the verification of some confidentiality features of the SESAME protocol, an extension of Kerberos. We do that by using the formal approach presented in [7]. This approach is based on the use of state-based general purpose formal methods.
Marc Mehdi Ayadi, Dominique Bolignano
openaire +1 more source
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols
IEEE Security and Privacy, 2022Ralf Sasse, Cas Cremers, David Basin
exaly
Cryptographic protocols for auctions and bargaining
1994Modern 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 +2 more
openaire +1 more source
A Core Calculus for Equational Proofs of Cryptographic Protocols
2023Xiong Fan, John Morrisett, Elaine Shi
exaly