arrow
返回
S

Siqi Lu

Information Engineering University

11H指数
57论文数
319被引数
收录论文 18
发表时间
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏