Huixuan Zheng

According to our database, Huixuan Zheng authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Improved Lightweight Linear K-value Transformer.

Anyan Xiao, Zhuo Yan, Zheng Li, Huangxin Xu, Huixuan Zheng, Yujie Ai, Xiaocong Zhang, Qixuan Sun, Changyu Zhao

Proceedings of the 22nd IEEE International Conference on Trust, 2023

2022

TMI: tokenomics made easy for web3 applications.

Han Liu, Xufei Wang, Bin Wang, Huixuan Zheng, Xuchao Liu

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

BLOCKEYE: Hunting for DeFi Attacks on Blockchain.

Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts.

Zhiqiang Yang, Han Liu, Yue Li, Huixuan Zheng, Lei Wang, Bangdao Chen

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020