PPaperPicks

Fu Song

13 papers at tracked venues · 7 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FM ×3FSE ×2NDSS ×2AAAI ×1CHES ×1ICSE ×1ISSTA ×1OOPSLA ×1POPL ×1

Frequent coauthors

Taolue Chen
×5
Yedi Zhang
×4
Zhilin Wu
×3
Guangke Chen
×3
Xiaoning Du
×3
Jun Sun
×3
Pengfei Gao
×2
Jin Song Dong
×2
Huiyu Tan
×2
Zhensu Sun
×2
Li Li
×2
Weizhi Feng
×1

Papers

  1. Can LLM Aid in Solving Constraints with Inductive Definitions?
    FM 2026 ·
    Weizhi Feng
    ,
    Shidong Shen
    ,
    Jiaxiang Liu
    ,
    Taolue Chen
    , Fu Song,
    Zhilin Wu
  2. SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts
    FSE 2026 ·
    Yinghao Wu
    ,
    Miaomiao Zhang
    , Fu Song,
    John W. Baugh Jr.
  3. SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers
    NDSS 2025 ·
    Guangke Chen
    ,
    Yedi Zhang
    , Fu Song,
    Ting Wang
    ,
    Xiaoning Du
    ,
    Yang Liu
  4. Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
    AAAI 2025 ·
    Zongxin Liu
    ,
    Zhe Zhao
    , Fu Song,
    Jun Sun
    ,
    Pengfei Yang
    ,
    Xiaowei Huang
    ,
    Lijun Zhang
  5. Verification of Bit-Flip Attacks against Quantized Neural Networks
    OOPSLA 2025 ·
    Yedi Zhang
    ,
    Lei Huang
    ,
    Pengfei Gao
    , Fu Song,
    Jun Sun
    ,
    Jin Song Dong
  6. Certified Quantization Strategy Synthesis for Neural Networks
    FM 2024 ·
    Yedi Zhang
    ,
    Guangke Chen
    , Fu Song,
    Jun Sun
    ,
    Jin Song Dong
  7. Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks
    FM 2024 ·
    Huiyu Tan
    ,
    Xi Yang
    , Fu Song,
    Taolue Chen
    ,
    Zhilin Wu
  8. EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis
    POPL 2024 ·
    Pu Sun
    , Fu Song,
    Yuqi Chen
    ,
    Taolue Chen
  9. FDI: Attack Neural Code Generation Systems through User Feedback Channel
    ISSTA 2024 ·
    Zhensu Sun
    ,
    Xiaoning Du
    ,
    Xiapu Luo
    , Fu Song,
    David Lo
    ,
    Li Li
  10. SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits
    CHES 2024 ·
    Huiyu Tan
    ,
    Pengfei Gao
    , Fu Song,
    Taolue Chen
    ,
    Zhilin Wu
  11. SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems
    NDSS 2024 ·
    Guangke Chen
    ,
    Yedi Zhang
    , Fu Song
  12. Towards Efficient Verification of Constant-Time Cryptographic Implementations
    FSE 2024 ·
    Luwei Cai
    , Fu Song,
    Taolue Chen
  13. When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference
    ICSE 2024 ·
    Zhensu Sun
    ,
    Xiaoning Du
    , Fu Song,
    Shangwen Wang
    ,
    Li Li