Hyeonbum Lee, Jae Hong Seo
No abstract is available for this record.
Follow blockchain research across journals, conferences, and preprint repositories.
8,503 results · page 230 of 355
Hyeonbum Lee, Jae Hong Seo
No abstract is available for this record.
Thomas Attema, Ronald Cramer, Serge Fehr
No abstract is available for this record.
nbspLiz George, nbspDr.Jubilant J Kizhakkethottam
No abstract is available for this record.
Mario Alessandro Barbara, Lorenzo Grassi, Dmitry Khovratovich, Reinhard Lüftenegger · 7 authors
No abstract is available for this record.
Pieter Pauwels
No abstract is available for this record.
Hongrui Cui, Kaiyi Zhang, Yu Chen, Zhen Liu · 5 authors
No abstract is available for this record.
Hamza Mutaher, Pradeep Kumar
No abstract is available for this record.
E. A. Shliakhtina, Dennis Gamayunov
In this paper, we address the problem of mutual authentication in user groups in decentralized messaging systems without trusted third party. We propose a mutual authentication algorithm for groups using zero-knowledge proof. Using the algorithm, which is based on trust chains existing in decentralized network, users are able to authenticate each other without establishing a shared secret over side channel. The proposed algorithm is based on Democratic Group Signature protocol (DGS) and Communication-Computation Efficient Group Key algorithm for large and dynamic groups (CCEGK). We have performed security analysis of the proposed mutual authentication scheme against several attacks including Sybil attack and have made complexity estimation for the algorithm. The algorithm is implemented in an experimental P2P group messaging application, and using this implementation we estimate overhead of the authentication scheme and convergence time for several initial configurations of user groups and trust chains.
Joseph K. Liu, Man Ho Au, Tsz Hon Yuen, Cong Zuo · 9 authors
No abstract is available for this record.
Adwait Pathak, Tejas Patil, Shubham Pawar, Piyush Raut · 6 authors
Background: Zero Knowledge Proof is a persuasive cryptographic protocol employed to provide data security by keeping the user's identity, using the services anonymously. Zero Knowledge Proof can be the preferred option to use in multiple circumstances. Instead of using the public key cryptographic protocols, the zero-knowledge proof usage does not expose or leak confidential data or information during the transmission. Zero Knowledge Proof protocols are comparatively lightweight; this results in making it efficient in terms of memory. Zero Knowledge Proof applications can reside in authentication, identity management, cryptocurrency transactions, and many more. Traditional authentication schemes are vulnerable to attacks like password attacks, man-in-the-middle, replay attack, etc. while data transmission takes place over the network. Hence, there is a high need for developing an authentication scheme that does not leak the confidential information and provides authentication without disclosing the identity. Conclusion: In this paper the bibliometric study of Zero Knowledge Proof for Authentication is performed by using data extracted from the Scopus database. Observations are made based on this study that the maximum research publications on Zero Knowledge Proof for Authentication are from China, United States and India respectively. The conclusion of the paper is drawn that this specific research field is latest and research work in the coming years is necessary on Zero Knowledge Proof for Authentication.
Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler
No abstract is available for this record.
Xiao Liang, Omkant Pandey
General-purpose zero-knowledge proofs for all \(\mathsf {NP} \) languages greatly simplify secure protocol design. However, they inherently require the code of the underlying relation. If the relation contains black-box calls to a cryptographic function, the code of that function must be known to use the ZK proof, even if both the relation and the proof require only black-box access to the function. Rosulek (Crypto’12) shows that non-trivial proofs for even simple statements, such as membership in the range of a one-way function, require non-black-box access.
Lynton Lourinho, Stefan Kendzierskyj, Hamid Jahankhani
No abstract is available for this record.
Bo Peng, Yongxin Zhu, Naifeng Jing, Xiaoying Zheng · 5 authors
No abstract is available for this record.
Dimitris Mouris, Nektarios Georgios Tsoutsos
As cloud computing becomes more popular, research has focused on usable solutions to the problem of verifiable computation (VC), where a computationally weak device (Verifier) outsources a program execution to a powerful server (Prover) and receives guarantees that the execution was performed faithfully. A Prover can further demonstrate knowledge of a secret input that causes the Verifier’s program to satisfy certain assertions, without ever revealing which input was used. State-of-the-artZero-KnowledgeProofs of Knowledge (ZKPK) methods encode a computation using arithmetic circuits and preserve the privacy of Prover’s inputs while attesting the integrity of program execution. Nevertheless, developing, debugging, and optimizing programs as circuits remains a daunting task, as most users are unfamiliar with this programming paradigm. In this work, we present Zilch, a framework that accelerates and simplifies the deployment of VC and ZKPK for any applicationtransparently, i.e., without the need of trusted setup. Zilch uses traditional instruction sequences rather than static arithmetic circuits that would need to be regenerated for each different computation. Towards that end, we have implemented Z MIPS: a MIPS-like processor model that allows verifying each instruction independently and compose a proof for the execution of the target application. To foster usability, Zilch incorporates a novel cross-compiler from an object-oriented Java-like language tailored to ZKPK and optimized our Z MIPS model, as well as a powerful API that enables integration of ZKPK within existing C/C++ programs. In our experiments, we demonstrate the flexibility of Zilch using two real-life applications, and evaluate Prover and Verifier performance on a variety of benchmarks.
Boyuan Feng, Lianke Qin, Zhang Zhen-fei, Yufei Ding · 5 authors
No abstract is available for this record.
Maanas Midha, Amit Kumar Gupta‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬, Priya Mathur
No abstract is available for this record.
San Ling, Khoa Nguyen, Duong Hieu Phan, Khai Hanh Tang · 5 authors
No abstract is available for this record.
Ron D. Rothblum, Adam Sealfon, Katerina Sotiraki
No abstract is available for this record.
Javier Herranz, Ramiro Pinilla, Manuel Sánchez-Raya
In an electronic voting procedure, mixing networks are used to ensure anonymity of the casted votes. Each node of the network re-encrypts the input list of ciphertexts and randomly permutes it in a process named shuffle, and must prove (in zero-knowledge) that the process was applied honestly. To maintain security of such a process in a post-quantum scenario, new proofs are based on different mathematical assumptions, such as lattice-based problems. Nonetheless, the best lattice-based protocols to ensure verifiable shuffling have linear communication complexity on N, the number of shuffled ciphertexts.
Chenkai Weng, Kang Yang, Xiang Xie, Jonathan Katz · 5 authors
No abstract is available for this record.
Daiki Miyahara, Hiromichi Haneda, Takaaki Mizuki
No abstract is available for this record.
Alex Ozdemir, Dan Boneh
No abstract is available for this record.
Somnath Panja, Bimal Roy
No abstract is available for this record.