Volume 8,Issue 3,2023 Table of Contents

   
Other Issues:  
  

Contents

前言
  孟国柱,陈恺,卜磊,蒲戈光
  Published May 18, 2023
  2023,8(3):0 [Abstract]  [View PDF(155.51 K)]
  
Exploiting Feature Space Divergence For Adversarial Example Detection
  HAN Meng, YU Weiping, ZHOU Yiyun, DU Wentao, SUN Yanbin, LIN Changting
  Published May 18, 2023
  2023,8(3):1-11 [Abstract]  [View PDF(1.27 M)]
  
A Formal Verification Method for Recurrent Neural Network Based on Robustness Radius Solving
  ZHAO Liang, QI Runchuan, DUAN Xinmin, LI Chunyi, WANG Xiaobing
  Published May 18, 2023
  2023,8(3):12-26 [Abstract]  [View PDF(778.93 K)]
  
A Neural Network Repair Method Based on Divide-and-Conquer
  SUN Shuo, YAN Jun, YAN Rongjie
  Published May 18, 2023
  2023,8(3):27-37 [Abstract]  [View PDF(540.32 K)]
  
Empirical Study on the effects of BFV Scheme Configuration on Secure Neural Networks Inference
  YANG Tao, DONG Jianfeng
  Published May 18, 2023
  2023,8(3):38-48 [Abstract]  [View PDF(1.57 M)]
  
Secure Iris Recognition with the Protection of the Number of Users
  ZHOU Yu, XIANG Jianwen, ZHENG Qianrong, ZHAO Dongdong
  Published May 18, 2023
  2023,8(3):49-64 [Abstract]  [View PDF(644.66 K)]
  
A Review of Deep Learning Based Generation Tasks Across Natural and Programming Languages
  SONG Xiaoyi, ZHANG Ruoding, ZHANG Yan, ZHANG Meishan, LI Jiatong
  Published May 18, 2023
  2023,8(3):65-84 [Abstract]  [View PDF(1.16 M)]
  
Model-driven Divide-and-conquer Parallel Functional Program Generation and Automatic Verification
  WANG Changjing, WANG Zhongwen, PAN Cheng, HUANG qing, ZUO Zhengkang
  Published May 18, 2023
  2023,8(3):85-102 [Abstract]  [View PDF(1.70 M)]
  
Survey of Intelligent Homology Detection Technology for IoT Programs
  Kong Kaiwei, Huo Dongdong, Su Dongnan, Xu Zhen
  Published May 18, 2023
  2023,8(3):103-127 [Abstract]  [View PDF(1.02 M)]
  
A Third-party Library Traffic Identification Framework Using Federated Learning
  Cui Huajun, Meng Guozhu, Li Yueqi, Zhang yan, Dai Yueyue, Yang Huiran, Zhu Dali, Wang Weiping
  Published May 18, 2023
  2023,8(3):128-145 [Abstract]  [View PDF(10.24 M)]