arrow
Back
S

Siqi Lu

information engineering university

11H-index
55Paper Count
319Citation Count
Published Papers 17
Publication Date
Formal analysis of CAS under malicious service providers: Implications for trust-aware deployments
err2026-08-13
err0
PREAI
errLiujia Cai; Siqi Lu; Jingyi Wang; Zhaoxuan Li; Qingjun Yuan; Guangsong Li; Yongjuan Wang
errShare
errSave
Highly stable quasi-solid-state initially anode-free lithium metal batteries enabled by dynamic integrated interface engineering
err2026-07-25
err0
errOAAI
errYunyi Chen; Xitang Qian; Yuxiang Lyu; Yican Qiu; Siyu Zhou; Xinyi Lan; Siqi Lu; Minhua Shao
errShare
errSave
Enhanced Template Attack Against Dilithium: Leveraging Dual-Loss Feature Extraction
err2025-12-10
err0
PREAI
errHaojin Zhang; Qingjun Yuan; Yaoling Ding; An Wang; Hailong Zhang; Haopeng Fan; Siqi Lu; Yongjuan Wang
errShare
errSave
errShare
errSave
EUAV: An enhanced blockchain-based two-factor anonymous authentication key agreement protocol for UAV networks
err2025-07-03
err0
PREAI
errYidan Liu; Liujia Cai; Haoyuan Xue; Bing Gao; Xiangyu Wang; Siqi Lu; Yongjuan Wang
errShare
errSave
ACOFuzz: An ant colony algorithm-based fuzzer for smart contracts
err2025-03-25
err0
errOAAI
errPeixuan Feng; Wenrui Cao; Siqi Lu; Yongjuan Wang; Haoyuan Xue; Runnan Yang
errShare
errSave
Beyond known threats: A novel strategy for isolating and detecting unknown malicious traffic
err2025-03-01
err0
PREAI
errMeng, Qianwei; Yuan, Qingjun; Wang, Xiangbin; Wang, Yongjuan; Li, Guangsong; Zhu, Yanbei; Lu, Siqi
errShare
errSave
Hematopoietic stem and progenitor cell membrane-coated vesicles for bone marrow-targeted leukaemia drug delivery
err2024-07-07
err5
errOAAI
errLi, Jinxin; Wu, Honghui; Yu, Zebin; Wang, Qiwei; Zeng, Xin; Qian, Wenchang; Lu, Siqi; Jiang, Lingli; Li, Jingyi; Zhu, Meng; Han, Yingli; Gao, Jianqing; Qian, Pengxu
errShare
errSave
An SGX-based online voting protocol with maximum voter privacy
err2024-06-01
err0
PREAI
errHan, Qingdi; Zhang, Xiaoshuai; Lu, Siqi; Zhao, Xiaoqi; Yan, Zhen
errShare
errSave
Observational equivalence and security games: Enhancing the formal analysis of security protocols
err2024-05-01
err0
PREAI
errCai, Liujia; Cai, Guangying; Lu, Siqi; Li, Guangsong; Wang, Yongjuan
errShare
errSave
VulHunter: Hunting Vulnerable Smart Contracts at EVM Bytecode-Level via Multiple Instance Learning
err2023-11-01
err3
errOAAI
errLi, Zhaoxuan; Lu, Siqi; Zhang, Rui; Zhao, Ziming; Liang, Rujin; Xue, Rui; Li, Wenhao; Zhang, Fan; Gao, Sheng
errShare
errSave
Development and application of nanomaterials, nanotechnology and nanomedicine for treating hematological malignancies
err2023-06-23
err18
errOAAI
errLi, Jinxin; Wang, Qiwei; Han, Yingli; Jiang, Lingli; Lu, Siqi; Wang, Beini; Qian, Wenchang; Zhu, Meng; Huang, He; Qian, Pengxu
errShare
errSave
SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts
err2022-10-12
err11
PREAI
errLi, Zhaoxuan; Lu, Siqi; Zhang, Rui; Xue, Rui; Ma, Wenqiu; Liang, Rujin; Zhao, Ziming; Gao, Sheng
errShare
errSave
A survey on cryptographic techniques for protecting big data security: present and forthcoming
err2022-09-23
err14
PREAI
errLu, Siqi; Zheng, Jianhua; Cao, Zhenfu; Wang, Yongjuan; Gu, Chunxiang
errShare
errSave