s3l-official Goto Github PK

attack-as-detection

Code for ISSTA'21 paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness' and its extended version.

bnnquanalyst

convince

ct_prover

dejitleak

DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks

easybc

Tool chains of EasyBC

fakebob

Source code for paper "Who is real Bob? Adversarial Attacks on Speaker Recognition Systems" (IEEE S&P 2021)

fischer

laserguider

Source code of LaserGuider (traffic sign recognition backdoor attack by laser)

lasermark

Traffic Signs Dataset with Laser Point as Trigger

qebverif

Source code for paper "QEBVerif: Quantization Error Bound Verification of Neural Networks" (CAV 2023)

qmsinfer

qmverif

QMVerif is a tool focusing on the verification of masked arithmetic programs against power side-channel attack.

qvip

rhea

sec4sr

Source Code for 'SECurity evaluation platform FOR Speaker Recognition' released in 'Defending against Audio Adversarial Examples on Speaker Recognition Systems'

slmia-sr

Source code for the paper "SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems" accepted by NDSS 2024

speakerguard

a Pytorch library for security research on speaker recognition, released in "Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition"