Fu Song -

Registered user since Thu 30 Jun 2022

Name:Fu Song

Country:China

Affiliation:ShanghaiTech University

Contributions

SAS 2022	Author of CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks within the SAS-track
ESEC/FSE 2022	Author of DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks within the Research Papers-track
ASE 2022	Author of QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks within the Research Papers-track
ISSTA 2021	Author of Attack as Defense: Characterizing Adversarial Examples using Robustness within the Technical Papers-track