8000 Stars
DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks
Source code for paper "QEBVerif: Quantization Error Bound Verification of Neural Networks" (CAV 2023)
S3L-official / SEC4SR
Forked from SEC4SR/SEC4SRSource Code for 'SECurity evaluation platform FOR Speaker Recognition' released in 'Defending against Audio Adversarial Examples on Speaker Recognition Systems'
S3L-official / DeJITLeak
Forked from S3L-ShanghaiTech/DeJITLeakDeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks
S3L-official / SpeakerGuard
Forked from SpeakerGuard/SpeakerGuarda Pytorch library for security research on speaker recognition, released in "Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition"
QMVerif is a tool focusing on the verification of masked arithmetic programs against power side-channel attack.
Source Code for 'SECurity evaluation platform FOR Speaker Recognition' released in 'Defending against Audio Adversarial Examples on Speaker Recognition Systems'
Source code for paper "Who is real Bob? Adversarial Attacks on Speaker Recognition Systems" (IEEE S&P 2021)
Code for ISSTA'21 paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness' and its extended version.
Code for ISSTA'21 paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness'.
Source code for paper "Who is real Bob? Adversarial Attacks on Speaker Recognition Systems" (IEEE S&P 2021)