Lingyuan Yin

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Coloured Petri Nets

Network Protocols

Geometry Theorem Proving

Cost Based Abduction

Top Venues

IEEE Trans. Dependable Secur. Comput.

IACR Cryptol. ePrint Arch.

J. Inf. Secur. Appl.

Publications

Lingyuan Yin, Jing Xu, Kaitai Liang, Zhenfeng Zhang
Sidechains With Optimally Succinct Proof. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Xinyu Li, Jing Xu, Lingyuan Yin, Yuan Lu, Qiang Tang, Zhenfeng Zhang
Escaping From Consensus: Instantly Redactable Blockchain Protocols in Permissionless Setting. IEEE Trans. Dependable Secur. Comput. 20 (5) (2023)
Lingyuan Yin, Jing Xu, Zhenfeng Zhang
Interopera: An Efficient Cross-Chain Trading Protocol. Comput. J. 66 (7) (2023)
Hanyue Dou, Lingyuan Yin, Yuan Lu, Jing Xu
A probabilistic Proof-of-Stake protocol with fast confirmation. J. Inf. Secur. Appl. 68 (2022)
Lingyuan Yin, Jing Xu, Qiang Tang
Sidechains With Fast Cross-Chain Transfers. IEEE Trans. Dependable Secur. Comput. 19 (6) (2022)
Jing Xu, Xinyu Li, Lingyuan Yin, Yuan Lu, Qiang Tang, Zhenfeng Zhang
Redactable Blockchain Protocol with Instant Redaction. IACR Cryptol. ePrint Arch. 2021 (2021)
Jing Xu, Xinyu Li, Lingyuan Yin, Bingyong Guo, Han Feng, Zhenfeng Zhang
Redactable Proof-of-Stake Blockchain with Fast Confirmation. IACR Cryptol. ePrint Arch. 2019 (2019)
Mingyuan Xia, Lingyuan Yin
A Generic Construction of Puncturable Encryption. CyberC (2019)