Author Search Results :: Library Catalog

1

Towards Efficient Verification of Constant-Time Cryptographic Implementations Autoría: Cai, Luwei, Song, Fu, Chen, Taolue

Published 2024

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
2

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

Published 2025

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
3

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

Published 2026

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
4

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification Autoría: Li, Jingyang, Song, Fu, Li, Guoqiang

Published 2026

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
5

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

Published 2024

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
6

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems Autoría: Zhang, Yedi, Song, Fu, Chen, Taolue, Wu, Xuzhi

Published 2024

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
7

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

Published 2024

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
8

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

Published 2025

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
9

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

Published 2024

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
10

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

Published 2024

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
11

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

Published 2026

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
12

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

Published 2026

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
13

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

Published 2025

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
14

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

Published 2022

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
15

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

Published 2024

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
16

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

Published 2026

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
17

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

Published 2025

Fuente: arXiv

Tipo de material: Preprint

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:
18

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

Published 2025

Fuente: Wiley Open Access

Tipo de material: Artículo Open Access

Acceso al recurso
Enlace del recurso

Standalone Record
Save to List

Saved in:

Towards Efficient Verification of Constant-Time Cryptographic Implementations Autoría: Cai, Luwei, Song, Fu, Chen, Taolue

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

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

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification Autoría: Li, Jingyang, Song, Fu, Li, Guoqiang

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

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems Autoría: Zhang, Yedi, Song, Fu, Chen, Taolue, Wu, Xuzhi

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

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

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

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

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

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

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

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

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

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

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

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

Search Results - Song Fu

Towards Efficient Verification of Constant-Time Cryptographic Implementations Autoría: Cai, Luwei, Song, Fu, Chen, Taolue

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

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

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification Autoría: Li, Jingyang, Song, Fu, Li, Guoqiang

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

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems Autoría: Zhang, Yedi, Song, Fu, Chen, Taolue, Wu, Xuzhi

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

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

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

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

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

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

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

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

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

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

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

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

Search Tools: