Results 11 to 20 of about 68,965 (224)
Verification of Implementations of Cryptographic Hash Functions
IEEE Access, 2017 Cryptographic hash functions have become the basis of modern network computing for identity authorization and secure computing; protocol consistency of cryptographic hash functions is one of the most important properties that affect the security and ...
Dexi Wang +5 more
doaj +1 more source
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
Quantum cryptography based on Wheeler's delayed choice experiment [PDF]
, 1995 We describe a cryptographic protocol in which Wheeler's delayed choice experiment is used to generate the key distribution. The protocol, which uses photons polarized only along one axis, is secure against general attacks.Comment: 4 pages, LaTeX file, no
Ardehali, M.
core +2 more sources
C# parser for extracting cryptographic protocols structure from source code
Труды Института системного программирования РАН, 2019 Cryptographic protocols are the core of any secure system. With the help of them, data is transmitted securely and protected from third parties' negative impact.
Ilya Aleksandrovich Pisarev +1 more
doaj +1 more source
ICRP: Internet-Friendly Cryptographic Relay-Detection Protocol
Cryptography, 2022 Traffic hijacking over the Internet has become a frequent incident over the last two decades. From minor inconveniences for casual users to massive leaks of governmental data, these events cover an unprecedently large spectrum.
Ghada Arfaoui +3 more
doaj +1 more source
Fair Exchange in Strand Spaces [PDF]
, 2009 Many cryptographic protocols are intended to coordinate state changes among principals. Exchange protocols coordinate delivery of new values to the participants, e.g. additions to the set of values they possess. An exchange protocol is fair if it ensures
Joshua D. Guttman +2 more
core +2 more sources
Measurement-Device-Independent Two-Party Cryptography with Error Estimation
Sensors, 2020 We present an innovative method for quantum two-party cryptography. Our protocol introduces joint measurement and error estimation to improve the security of two-party cryptographic protocols. Our protocol removes the assumption of the attacker’s limited
Zishuai Zhou +4 more
doaj +1 more source
A Secure and Fast Access Protocol for Collecting Terminal in Power Internet of Things based on Symmetric Cryptographic Algorithm [PDF]
E3S Web of Conferences, 2021 The development of Power Internet of Things has brought a variety of access requirements for massive collecting terminals. Based on the characteristics of security attributes of Power Internet of Things, this paper proposes a secure access protocol based
Zhai Feng +4 more
doaj +1 more source
Superposition Attacks on Cryptographic Protocols [PDF]
, 2014 Attacks on classical cryptographic protocols are usually modeled by allowing an adversary to ask queries from 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 as compute a certain piece of information.
Ivan Damgård +3 more
openaire +5 more sources
Security protocol code analysis method combining model learning and symbolic execution
网络与信息安全学报, 2021 Symbolic execution can comprehensively analyze program execution space in theory, but it is not feasible in practice for large programs like security protocols, due to the explosion of path space and the limitation of difficulty in solving path ...
Xieli ZHANG +3 more
doaj +3 more sources