research
∙
09/14/2023
SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems
Membership inference attacks allow adversaries to determine whether a pa...
share
research
∙
05/23/2023
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems
Current adversarial attacks against speaker recognition systems (SRSs) r...
research
∙
12/10/2022
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Deep learning has become a promising programming paradigm in software de...
research
∙
12/06/2022
QEBVerif: Quantization Error Bound Verification of Neural Networks
While deep neural networks (DNNs) have demonstrated impressive performan...
research
∙
03/12/2021
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Verifying and explaining the behavior of neural networks is becoming inc...
research
∙
11/27/2018