Results 1 to 10 of about 685,654 (244)

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

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   +3 more sources

A survey on the application of blockchain in cryptographic protocols

Cybersecurity
With the continuous development of network technology, cryptographic protocols are facing diverse and complex security challenges. Blockchain technology, as a solution incorporating decentralization, traceability, programmability, and immutability ...
Xiangyang Luo, Xingxing Chen, Xiaofeng Chen, Qingfeng Cheng   +3 more
doaj   +2 more sources

Analysis of Cryptographic Protocol by Dynamic Epistemic Logic

IEEE Access, 2019
The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literature ...
Xiaojuan Chen, Huiwen Deng
doaj   +3 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

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif

IEEE Access
The formal verification of cryptographic protocols has been extensively studied in recent years. To verify the cryptographic protocol security, formal verification tools consider protocol properties as interactive processes involving a cryptographic ...
Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa   +3 more
doaj   +3 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   +2 more sources

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

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