songfu1983 Goto Github PK

attack-as-defense

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

awesome-cryptography

A curated list of cryptography resources and links.

backdoorbox

The open-sourced Python toolbox for backdoor attacks and defenses.

barvinok

Mirror of git://repo.or.cz/barvinok.git, because that repo appears to be down frequently

binsec

BINSEC binary-level open-source platform

canal

cflobdd

confllvm

cryptocoding

Guidelines for low-level cryptography software

cryptosmt

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

csrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

dafny

Dafny is a verification-aware programming language

ddopt-cut

Implementation for the paper "Target Cuts from Relaxed Decision Diagrams"

defense_fakebob

Source code for the paper "Defending Against FakeBob Adversarial Attacks in Speaker Verification Systems With Noise-Adding"

deptaint

detection_fakebob

Source code for the paper "On the Detection of Adaptive Adversarial Attacks in Speaker Verification Systems"

dev

BinTuner

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

diem

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

dockerized_fuzzing

Run fuzzing experiments in Docker

dr_checker

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

fakebob

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

hacl-star

HACL*, a formally verified cryptographic library written in F*

impeccablecircuits

Hardware designs for fault detection

jasmin

Jasmin compiler

kaldi

This is the official location of the Kaldi project.

kryptology

lasermark

Traffic Signs Dataset with Laser Point as Trigger

libjc

lif

A tool to eliminate timing-based side channels