Search Results - Song Fu

Towards Efficient Verification of Constant-Time Cryptographic Implementations by Cai, Luwei, Song, Fu, Chen, Taolue

Get full text

NCCR: to Evaluate the Robustness of Neural Networks and Adversarial Examples by Pu, Shi, Song, Fu, Wang, Wenjie

Get full text

SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression by Li, Jingyang, Song, Fu, Li, Guoqiang

Get full text

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification by Li, Jingyang, Song, Fu, Li, Guoqiang

Get full text

LaserGuider: A Laser Based Physical Backdoor Attack against Deep Neural Networks by Xu, Yongjie, Chen, Guangke, Song, Fu, Chen, Yuqi

Get full text

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems by Zhang, Yedi, Song, Fu, Chen, Taolue, Wu, Xuzhi

Get full text

When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference by Sun, Zhensu, Du, Xiaoning, Song, Fu, Wang, Shangwen, Li, Li

Get full text

Decision Procedure for A Theory of String Sequences by Hu, Denghang, Chen, Taolue, Rümmer, Philipp, Song, Fu, Wu, Zhilin

Get full text

SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers by Chen, Guangke, Zhang, Yedi, Song, Fu, Wang, Ting, Du, Xiaoning, Liu, Yang

Get full text

FDI: Attack Neural Code Generation Systems through User Feedback Channel by Sun, Zhensu, Du, Xiaoning, Luo, Xiapu, Song, Fu, Lo, David, Li, Li

Get full text

Can LLM Aid in Solving Constraints with Inductive Definitions? by Feng, Weizhi, Shen, Shidong, Liu, Jiaxiang, Chen, Taolue, Song, Fu, Wu, Zhilin

Get full text

Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction by Yang, Xi, Chen, Taolue, Chen, Yuqi, Song, Fu, Wang, Chundong, Wu, Zhilin

Get full text

Verification of Bit-Flip Attacks against Quantized Neural Networks by Zhang, Yedi, Huang, Lei, Gao, Pengfei, Song, Fu, Sun, Jun, Dong, Jin Song

Get full text

Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems by Sun, Zhensu, Du, Xiaoning, Song, Fu, Wang, Shangwen, Ni, Mingze, Li, Li, Lo, David

Get full text

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency by Liu, Zongxin, Zhao, Zhe, Song, Fu, Sun, Jun, Yang, Pengfei, Huang, Xiaowei, Zhang, Lijun

Get full text

A Formally Verified Procedure for Width Inference in FIRRTL by Wang, Keyin, Shi, Xiaomu, Liu, Jiaxiang, Wu, Zhilin, Chen, Taolve, Song, Fu, Jansen, David N.

Get full text

AudioJailbreak: Jailbreak Attacks against End-to-End Large Audio-Language Models by Chen, Guangke, Song, Fu, Zhao, Zhe, Jia, Xiaojun, Liu, Yang, Qiao, Yanchen, Zhang, Weizhe, Tu, Weiping, Yang, Yuhong, Du, Bo

Get full text

TGF ‐β1 Down‐Regulates Vascular Cell Adhesion Molecule 1 in Porcine Follicular Granulosa Cells Through Smad2 Signalling Pathways by Yanzi Lin, Haojie Ouyang, Song Fu, Juanru Cheng, Yuying Wu, Huiting Qin, Yanyan Yang, Deshun Shi, Lingxiu Zou, Yanfei Deng

Get full text