Name: Fu Song
Type: User
Company: State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences
Bio: Fu Song, research professor at State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences
Location: China
Blog: songfu1983.github.io
Fu Song's Projects
Code for ISSTA'21 paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness'.
A curated list of cryptography resources and links.
The open-sourced Python toolbox for backdoor attacks and defenses.
Mirror of git://repo.or.cz/barvinok.git, because that repo appears to be down frequently
BINSEC binary-level open-source platform
Guidelines for low-level cryptography software
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
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 is a verification-aware programming language
Implementation for the paper "Target Cuts from Relaxed Decision Diagrams"
Source code for the paper "Defending Against FakeBob Adversarial Attacks in Speaker Verification Systems With Noise-Adding"
Source code for the paper "On the Detection of Adaptive Adversarial Attacks in Speaker Verification Systems"
BinTuner
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Run fuzzing experiments in Docker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Source code for paper "Who is real Bob? Adversarial Attacks on Speaker Recognition Systems" (IEEE S&P 2021)
HACL*, a formally verified cryptographic library written in F*
Hardware designs for fault detection
Jasmin compiler
This is the official location of the Kaldi project.
Traffic Signs Dataset with Laser Point as Trigger
A tool to eliminate timing-based side channels