Results 1 to 10 of about 1,882,684 (312)
A rational approach to cryptographic protocols [PDF]
Mathematical and Computer Modelling, 2007 This work initiates an analysis of several cryptographic protocols from a rational point of view using a game-theoretical approach, which allows us to represent not only the protocols but also possible misbehaviours of parties. Concretely, several concepts of two-person games and of two-party cryptographic protocols are here combined in order to model ...
Pino Caballero‐Gil +2 more
core +5 more sources
Verification of stateful cryptographic protocols with exclusive OR [PDF]
Journal of Computer Security, 2019 In cryptographic protocols, in particular RFID protocols, exclusive-or (XOR) operations are common. Due to the inherent complexity of faithful models of XOR, there is only limited tool support for the verification of cryptographic protocols using XOR. In
Jannik Dreier +3 more
semanticscholar +11 more sources
Nonmonotonic cryptographic protocols. [PDF]
Proceedings The Computer Security Foundations Workshop VII, 1994 The paper presents a new method for specifying and analyzing cryptographic protocols. The method offers several advantages over previous approaches. The technique is the first to allow reasoning about nonmonotonic protocols, which are needed for systems that rely on the deletion of information.
Aviel D. Rubin
+5 more sources
A Calculus for Cryptographic Protocols: The Spi Calculus [PDF]
Information and Computation, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Martı́n Abadi, Andrew D. Gordon
openalex +4 more sources
Security Threats and Cryptographic Protocols for Medical Wearables
Mathematics, 2022 In the past few years, the use of several medical devices is increasing. This paper will pay attention to a device developed to get measures of the temperature of diabetic foot.
Luis Hernández-Álvarez +3 more
doaj +2 more sources
Optimizing cryptographic protocols against side channel attacks using WGAN-GP and genetic algorithms [PDF]
Scientific ReportsThis research introduces a novel hybrid cryptographic framework that combines traditional cryptographic protocols with advanced methodologies, specifically Wasserstein Generative Adversarial Networks with Gradient Penalty (WGAN-GP) and Genetic Algorithms
Purushottam Singh +2 more
doaj +2 more sources
Superposition Attacks on Cryptographic Protocols [PDF]
International Conference on Information Technology & Systems, 2011 Attacks on cryptographic protocols are usually modeled by allowing an adversary to ask queries to an oracle. Security is then defined by requiring that as long as the queries satisfy some constraint, there is some problem the adversary cannot solve, such
I. Damgård +3 more
semanticscholar +7 more sources
Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols
IACR Transactions on Symmetric Cryptology, 2020 While traditional symmetric algorithms like AES and SHA-3 are optimized for efficient hardware and software implementations, a range of emerging applications using advanced cryptographic protocols such as multi-party computation and zero knowledge proofs
Abdelrahaman Aly +3 more
doaj +2 more sources
Sequential Rationality in Cryptographic Protocols [PDF]
ACM Transactions on Economics and Computation, 2010 Much of the literature on rational cryptography focuses on analyzing the strategic properties of cryptographic protocols. However, due to the presence of computationally-bounded players and the asymptotic nature of cryptographic security, a definition of
R. Gradwohl, N. Livne, Alon Rosen
semanticscholar +6 more sources
On the Verification of Cryptographic Protocols
Electronic Notes in Theoretical Computer Science, 2000 AbstractThere is a mantra telling us that authentication is difficult. The failure to design robust authentication protocols is commonly attributed to a lack of good design strategies, and to a lack of verification tools. We will argue that the problem is rather confusion about the meaning of ‘authentication’. If you do not know what you are aiming for,
Dieter Gollmann
openalex +3 more sources