Jinji Yang

Publication Activity (10 Years)

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

Top Topics

Static Analysis

Authentication Protocol

Virtual Machine Monitor

Top Venues

Appl. Math. Lett.

IEEE ACM Trans. Comput. Biol. Bioinform.

J. Syst. Softw.

Publications

Yanling Tian, Shuyuan Shen, Jinji Yang
-dimensional diffusive delayed Lotka-Volterra equation in a cylinder. IMA J. Math. Control. Inf. 41 (2) (2024)
Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang
Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode. J. Syst. Softw. 199 (2023)
Zhihao Hou, Jinji Yang, Ruilin Lai, Yale He, Zefeng Mo, Gansen Zhao
Subscription-Based State Access for Cross-Chain Smart Contracts. ICPADS (2023)
Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang
Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode. CoRR (2023)
Wenyuan Li, Jiahao He, Gansen Zhao, Jinji Yang, Shuangyin Li, Ruilin Lai, Ping Li, Hua Tang, Haoyu Luo, Ziheng Zhou
EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts. COMPSAC (2022)
Runhua Huang, Chengchuang Lin, Aihua Yin, Hanbiao Chen, Li Guo, Gansen Zhao, Xiaomao Fan, Shuangyin Li, Jinji Yang
A Clinical Dataset and Various Baselines for Chromosome Instance Segmentation. IEEE ACM Trans. Comput. Biol. Bioinform. 19 (1) (2022)
Nunu Xia, Jinji Yang, Gansen Zhao, Xiaoshan Mo
基于概率模型的云辅助的轻量级无证书认证协议的形式化验证 (Formal Verification of Cloud-aided Lightweight Certificateless Authentication Protocol Based on Probabilistic Model). 计算机科学 46 (8) (2019)
Jinji Yang, Yanling Tian
Traveling wave solutions for a non-monotone Logistic equation in a cylinder. Appl. Math. Lett. 96 (2019)
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang
Symbolic Model Checking the Knowledge in Herbivore Protocol. MoChArt (2010)
Jinji Yang, Kaile Su, Qingliang Chen
Improving Encoding Efficiency for Bounded Model Checking. TASE (2008)