Univ of British Columbia (UBC)

SolidiFI

SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection

LLFI

LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easily tracked back to the source code. Please refer to the paper below. NOTE: If you publish a paper using LLFI, please add it to PaperLLFI.bib

TensorFI

TensorFI is a fault injection framework for injecting both hardware and software faults into applications written using the TensorFlow framework. You can find more information about TensorFI in the paper below.

SolidiFI-benchmark

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

AChecker

AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.

LLTFI

LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applications at the LLVM IR level. Please refer to the paper below. NOTE: If you publish a paper using LLTFI, please cite the following paper:

ThingsJS

ThingsJS is a framework for running JavaScript applications on IoT devices such as Raspberry PIs. For more details, see below:

stealthy-attacks

Stealthy Attacks against Robotic Vehicles. Please read the following paper before trying out the attacks.

eTainter

eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.

Jujutsu

Code for the paper "Turning Your Strength against You: Detecting and Mitigating Robust and Universal Adversarial Patch Attack"

MIA_defense_HAMP

Code for the paper "Overconfidence is a Dangerous Thing: Mitigating Membership Inference Attacks by Enforcing Less Confident Prediction" in NDSS'24.

OneOS

TensorFI2

TensorFI 2 is a fault injection framework for injecting both hardware and software faults into applications written using the TensorFlow 2 framework.

SwarmFuzz

pid-piper

This is a repository for the PID-Piper project to protect Robotic Vehicles from Physical Attacks. For more info, see the paper.

GoHigh

GoHigh for SANER'22 paper: https://blogs.ubc.ca/dependablesystemslab/2021/12/18/when-they-go-low-automated-replacement-of-low-level-functions-in-ethereum-smart-contracts/

EdgeEngine

The code and datasets used for EdgeEngine research paper (SEC'23). EdgeEngine is a thermal-aware optimization framework for running ML inference on heterogenous edge platforms.

Pi-Configurator

π-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge

Ranger

TF-DM

TensorFlow Data Mutator (TF-DM) is a framework for injecting different data faults into ML applications written using the TensorFlow 2 framework.

DeLorean

EdgeShell

NN-Ensemble

NN-Ensemble for QRS'21 Paper: https://blogs.ubc.ca/dependablesystemslab/2021/10/22/understanding-the-resilience-of-neural-network-ensembles-against-faulty-training-data/

ODFI

ODFI is an annotation fault injection tool for object detection datasets. More info can be found in our ISSRE'23 paper: https://blogs.ubc.ca/dependablesystemslab/2023/08/07/evaluating-the-effect-of-common-annotation-faults-on-object-detection-techniques-per/

onnx-mlir-lltfi

Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure

PCMeetingDashboard

Simple web-app for keeping track of conference PC paper review meetings

POMABuster

POMABuster is an automated engine to detect Price Oracle Manipualtion Attack (POMA) to blockchain oracles.

pytorchfi

A runtime fault injection tool for PyTorch :fire:

structural-coding

TDFM-Techniques

TDFM Techniques described in the DSN'22 Paper