33 citations · 43 across the 5 of their papers we have counts for
5 papers
SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems
Guangke Chen, Yedi Zhang, Fu Song
Membership inference attacks allow adversaries to determine whether a particular example was contained in the model's training dataset. While previous works have confirmed the feas…
CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models
Zhensu Sun, Xiaoning Du, Fu Song +1
Code datasets are of immense value for training neural-network-based code completion models, where companies or organizations have made substantial investments to establish and pro…
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks
Ye Tao, Wanwei Liu, Fu Song +3
Deep neural networks, (DNNs, a.k.a. NNs), have been widely used in various tasks and have been proven to be successful. However, the accompanied expensive computing and storage cos…
Automated Verification of Correctness for Masked Arithmetic Programs
Mingyang Liu, Fu Song, Taolue Chen
Masking is a widely-used effective countermeasure against power side-channel attacks for implementing cryptographic algorithms. Surprisingly, few formal verification techniques hav…
LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks
Fu Song, Tayssir Touili
A Dynamic Pushdown Network (DPN) is a set of pushdown systems (PDSs) where each process can dynamically create new instances of PDSs. DPNs are a natural model of multi-threaded pro…