21 citations · 32 across the 5 of their papers we have counts for
5 papers
Computational Soundness Results for Stateful Applied pi Calculus
Jianxiong Shao, Yu Qin, Dengguo Feng
In recent years, many researches have been done to establish symbolic models of stateful protocols. Two works among them, the SAPIC tool and StatVerif tool, provide a high-level sp…
Quantum public-key cryptosystems based on induced trapdoor one-way transformations
Li Yang, Min Liang, Bao Li +2
A concept named induced trapdoor one-way quantum transformation (OWQT) has been introduced, and a theoretical framework of public-key encryption (PKE) of quantum message is present…
Quantum Digital Signature based on Quantum One-way Functions
Xin Lü, Deng-Guo Feng
A quantum digital signature protocol based on quantum mechanics is proposed in this paper. The security of the protocol relies on the existence of quantum one-way functions by quan…
An Unconditionally Secure Quantum Bit Commitment Scheme
Xin Lü, Zhi Ma, Deng-Guo Feng
This paper has been withdrawn by the authors,because the proposed protocol is still coverd by the no-go theorem of Mayers, Lo and Chau. We thank H-K. Lo and HF Chau for helpful cor…
Quantum message authentication based on classical NP-complete problem
Li Yang, Lei Hu, Deng-Guo Feng
This note presents a method to authenticate a quantum message based on classical SN-S authentication code and the computations between different quantum registers. If the pre-codin…