Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Fu Song
Map detail
Fu Song12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFu SongAFu SongResearcherLTL Model-Checking for Dynamic Pushdown Networks Communicating via LocksWLTL Model-Checking for ...preprint / 2016CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data PoisoningWCoProtector: Protect Op...preprint / 2022Preventing Timing Side-Channels via Security-Aware Just-In-Time CompilationWPreventing Timing Side-...preprint / 2022AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition SystemsWAS2T: Arbitrary Source-...preprint / 2022Towards Understanding and Mitigating Audio Adversarial Examples for Speaker RecognitionWTowards Understanding a...preprint / 2022A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic ProgramsWA Hybrid Approach to Fo...preprint / 2020Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer DomainWTaking Care of The Disc...preprint / 2020Abstraction and Refinement: Towards Scalable and Exact Verification of Neural NetworksWAbstraction and Refinem...preprint / 2022Advanced Evasion Attacks and Mitigations on Practical ML-Based Phishing Website ClassifiersWAdvanced Evasion Attack...preprint / 2020Accelerating Robustness Verification of Deep Neural Networks Guided by Target LabelsWAccelerating Robustness...preprint / 2020Who is Real Bob? Adversarial Attacks on Speaker Recognition SystemsWWho is Real Bob? Advers...preprint / 2020
Person11 links

Fu Song

Researcher