Discover DependableSystemsLab/TensorFI-BinaryFI Open Source project

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Python
License
MIT License
Created over 5 years ago
Updated over 4 years ago

DependableSystemsLab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A binary fault Injector based on TensorFI fault injector. For more details, please refer to our paper

SolidiFI

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

Solidity

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

Java

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.

Python

SolidiFI-benchmark

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

Python

AChecker

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

Python

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:

C++

ThingsJS

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

JavaScript

pinfi

PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:

C++

LLFI-GPU

Fault injector for GPUs based on the LLFI Fault Injection Tool

C++

eTainter

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

Python

stealthy-attacks

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

DNNFI

Fault Injector for Deep Neural Network (DNN) Accelerators

C++

MIA_defense_HAMP

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

Python

TensorFI2

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

Python

OneOS

JavaScript

Jujutsu

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

Shell

GPU-Injector

A Fault Injector for GPGPU applications

Python

Trident

Trident is a tool to analytically model the Silent-Data Corruption (SDC) rate of a program, to replace expensive fault injection experiments. Please refer to our papers at DSN 2018 for more details (links in the README)

C++

SwarmFuzz

MATLAB

CrashFinder

CrashFinder tool and implementation

Python

pid-piper

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

ThingsJS-dashboard

ThingsJS Dashboard built with React

JavaScript

GPU-Trident

GPU version of Trident. For more info see website. If you find this useful, please cite the paper.

PostScript

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/

Python

POMABuster

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

Jupyter Notebook

structural-coding

Python

Artinali

ARTINALI Invariant detector for CPS platform Security

Python

specguard

C++

code_poison_MIA

Python

ISSRE19

Public repository of the tools and benchmarks used in our paper "A Tale of Two Injectors: End-to-End Comparison of IR-level and Assembly-Level Fault Injection" published in the 30th International Symposium on Software Reliability Engineering (ISSRE 2019)

LLVM

AutoPatch

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.

Python

DependableSystemsLab/TensorFI-BinaryFI

DependableSystemsLab

Reviews

Repository Details

More Repositories