Advanced Search

    column
    Preface of Special Issue on Advances in Deep Understanding of Program Semantics
    Bu Lei, Chen Zhenbang
    2023, 60(2): 225-226. DOI: 10.7544/issn1000-1239.qy20230201
    Abstract PDF
    Research Progress on Abstract Interpretation and Its Application
    Chen Liqian, Fan Guangsheng, Yin Banghu, Wang Ji
    2023, 60(2): 227-247. DOI: 10.7544/issn1000-1239.202220925
    Abstract PDF
    Design and Implementation of a Parallel Symbolic Execution Engine Based on Multi-Threading
    Zhou Peng, Zuo Zhiqiang
    2023, 60(2): 248-261. DOI: 10.7544/issn1000-1239.202220920
    Abstract PDF
    Static Instrumentation Techniques in Fuzzing Testing
    Wang Mingzhe, Jiang Yu, Sun Jiaguang
    2023, 60(2): 262-273. DOI: 10.7544/issn1000-1239.202220883
    Abstract PDF
    Survey on Java Pointer Analysis
    Tan Tian, Ma Xiaoxing, Xu Chang, Ma Chunyan, Li Yue
    2023, 60(2): 274-293. DOI: 10.7544/issn1000-1239.202220901
    Abstract PDF
    Atomicity Violation Detection for Interrupt-Driven Aerospace Embedded Software
    Yu Tingting, Li Chao, Wang Boxiang, Chen Rui, Jiang Yunsong
    2023, 60(2): 294-310. DOI: 10.7544/issn1000-1239.202220908
    Abstract PDF
    Gas Optimization for Smart Contracts: A Survey
    Song Shuwei, Ni Xiaoze, Chen Ting
    2023, 60(2): 311-325. DOI: 10.7544/issn1000-1239.202220887
    Abstract PDF
    Memory Copy Function Identification Technique with Control Flow and Data Flow Analysis
    Yin Xiaokang, Lu Bin, Cai Ruijie, Zhu Xiaoya, Yang Qichao, Liu Shengli
    2023, 60(2): 326-340. DOI: 10.7544/issn1000-1239.202110990
    Abstract PDF
    Aggregate Signcryption Scheme Supporting Multi-Ciphertext Equality Test for Wireless Body Area Network
    Yang Xiaodong, Zhou Hang, Ren Ningning, Yuan Sen, Wang Caifen
    2023, 60(2): 341-350. DOI: 10.7544/issn1000-1239.202110775
    Abstract PDF
    Efficient and Secure Attribute-Based Signatures for General Circuits
    Huang Zhenjie, Lin Zhiwei
    2023, 60(2): 351-361. DOI: 10.7544/issn1000-1239.202110920
    Abstract PDF
    Attribute-Based Online/Offline Signature Scheme Based on SM9
    Zhu Liufu, Li Jiguo, Lai Jianchang, Huang Xinyi, Zhang Yichen
    2023, 60(2): 362-370. DOI: 10.7544/issn1000-1239.202220530
    Abstract PDF
    Task Offloading Strategy in Mobile Edge Computing Based on Cloud-Edge-End Cooperation
    Zhang Wenzhu, Yu Jinghua
    2023, 60(2): 371-385. DOI: 10.7544/issn1000-1239.202110803
    Abstract PDF
    Dynamic Key Management of Industrial Internet Based on Blockchain
    Zhang Zelin, Wang Huaqun
    2023, 60(2): 386-397. DOI: 10.7544/issn1000-1239.202111095
    Abstract PDF
    Survey of Collaborative Inference for Edge Intelligence
    Wang Rui, Qi Jianpeng, Chen Liang, Yang Long
    2023, 60(2): 398-414. DOI: 10.7544/issn1000-1239.202110867
    Abstract PDF
    An Unsupervised Person Re-Identification Method Based on Intra-/Inter-Camera Merger
    Chen Liwen, Ye Feng, Huang Tianqiang, Huang Liqing, Weng Bin, Xu Chao, Hu Jie
    2023, 60(2): 415-425. DOI: 10.7544/issn1000-1239.202110732
    Abstract PDF
    Point Cloud Scene Flow Propagation Update Method Based on Neighborhood Consistency
    Zheng Han, Wang Ning, Ma Xinzhu, Zhang Hong, Wang Zhihui, Li Haojie
    2023, 60(2): 426-434. DOI: 10.7544/issn1000-1239.202110745
    Abstract PDF
    A Fast Black Box Boundary Attack Algorithm Based on Geometric Detection
    Liu Hao, Zhang Zehui, Xia Xiaofan, Gao Tiegang
    2023, 60(2): 435-447. DOI: 10.7544/issn1000-1239.202110991
    Abstract PDF
    High-order Caputo Fractional Order Differential Operator and Its Application in Image Enhancement
    Wang Xianghai, Zhang Wenya, Xing Junyu, Lü Fang, Mu Zhenhua
    2023, 60(2): 448-464. DOI: 10.7544/issn1000-1239.202110942
    Abstract PDF
    Small Target Detection Network Based on Context Augmentation and Feature Refinement
    Xiao Jinsheng, Zhao Tao, Zhou Jian, Le Qiuping, Yang Liheng
    2023, 60(2): 465-474. DOI: 10.7544/issn1000-1239.202110956
    Abstract PDF
    Email Alert RSS