Results 1 to 10 of about 13,947 (252)

Optimizing cryptographic protocols against side channel attacks using WGAN-GP and genetic algorithms [PDF]

Scientific Reports
This 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, Prashant Pranav, Sandip Dutta   +2 more
doaj   +2 more sources

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols

IEEE Access, 2019
Nowadays, more and more new cryptographic protocols are emerging, and the security analysis of emerging cryptographic protocols is increasingly important.
Jiawen Song, Meihua Xiao, Ke Yang, Xizhong Wang, Xiaomei Zhong   +4 more
doaj   +3 more sources

Special Issue on Algorithms for Cryptographic Protocols [PDF]

Cryptography, 2018
n ...
Andreas Vogt
doaj   +2 more sources

Trivializing Verification of Cryptographic Protocols

Computer Assisted Methods in Engineering and Science, 2023
One of the main problems of the digital world is information security. Every second, people process millions of pieces of information that must be protected from unauthorized access.
Jacek Piątkowski, Sabina Szymoniak
doaj   +1 more source

Nonmonotonic cryptographic protocols [PDF]

Proceedings The Computer Security Foundations Workshop VII, 2002
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, Peter Honeyman
openaire   +1 more source

Methodology of Testing the Security of Cryptographic Protocols Using the CMMTree Framework

Applied Sciences, 2023
Internet communication is one of the significant aspects of modern civilization. People use banking, health, social, or shopping platforms and send a lot of data.
Jacek Piątkowski, Sabina Szymoniak
doaj   +1 more source

Advances in quantum secure direct communication

IET Quantum Communication, 2021
The practical implementation of quantum secure direct communication (QSDC) will undoubtedly be a milestone in the development of quantum cryptography.
Piotr Zawadzki
doaj   +1 more source

Vulnerability of blockchain technologies to quantum attacks

Array, 2021
Quantum computation represents a threat to many cryptographic protocols in operation today. It has been estimated that by 2035, there will exist a quantum computer capable of breaking the vital cryptographic scheme RSA2048.
Joseph J. Kearney, Carlos A. Perez-Delgado   +1 more
doaj   +1 more source

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 sequential rationality for this setting has thus far eluded researchers.We propose a new framework ...
Ronen Gradwohl, Noam Livne, Alon Rosen
openaire   +3 more sources

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic

Applied Sciences, 2020
The security of cryptographic protocols has always been an important issue. Although there are various verification schemes of protocols in the literature, efficiently and accurately verifying cryptographic protocols is still a challenging research task.
Xiaojuan Chen, Huiwen Deng
doaj   +1 more source