DependableSystemsLab/MembershipTracker

Language: Python - Size: 430 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

DependableSystemsLab/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.

Language: Python - Size: 12.4 MB - Last synced at: 8 days ago - Pushed at: about 4 years ago - Stars: 57 - Forks: 23

DependableSystemsLab/SolidiFI-benchmark

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

Language: Python - Size: 7.14 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 68 - Forks: 24

DependableSystemsLab/AChecker

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

Language: Python - Size: 4.67 MB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 34 - Forks: 4

DependableSystemsLab/Dsemble

Diversity guided search for resilient ensembles. More info can be found in our SAC'25 paper.

Language: Python - Size: 0 Bytes - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

DependableSystemsLab/specguard

Language: C++ - Size: 240 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

DependableSystemsLab/code_poison_MIA

Language: Python - Size: 284 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

DependableSystemsLab/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:

Language: C++ - Size: 163 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 25 - Forks: 10

DependableSystemsLab/OneOS

Language: JavaScript - Size: 44.9 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 1

DependableSystemsLab/SolidiFI

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

Language: Solidity - Size: 7.23 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 70 - Forks: 7

DependableSystemsLab/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

Language: Java - Size: 151 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 65 - Forks: 36

DependableSystemsLab/POMABuster

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

Language: Jupyter Notebook - Size: 104 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

DependableSystemsLab/SwarmFuzz

Language: MATLAB - Size: 118 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

DependableSystemsLab/TensorFI2

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

Language: Python - Size: 49.2 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 4

DependableSystemsLab/MIA_defense_HAMP

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

Language: Python - Size: 1.77 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 1

DependableSystemsLab/stealthy-attacks

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

Language: C - Size: 71 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 15 - Forks: 4

DependableSystemsLab/eTainter

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

Language: Python - Size: 116 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 6

DependableSystemsLab/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/

Language: Python - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

DependableSystemsLab/DeLorean

Language: Python - Size: 313 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

DependableSystemsLab/pinfi

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

Language: C++ - Size: 48.8 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 13 - Forks: 13

DependableSystemsLab/ThingsJS

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

Language: JavaScript - Size: 40.6 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 5

DependableSystemsLab/Jujutsu

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

Language: Shell - Size: 157 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 2

DependableSystemsLab/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)

Language: C++ - Size: 199 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 7

DependableSystemsLab/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.

Language: Python - Size: 2.1 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

DependableSystemsLab/TensorFI-BinaryFI

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

Language: Python - Size: 11.4 MB - Last synced at: 16 days ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1

DependableSystemsLab/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/

Language: Python - Size: 1.55 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/CrashFinder

CrashFinder tool and implementation

Language: Python - Size: 477 KB - Last synced at: about 1 year ago - Pushed at: almost 10 years ago - Stars: 3 - Forks: 0

DependableSystemsLab/pid-piper

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

Language: C - Size: 148 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 5

DependableSystemsLab/EdgeShell

Language: JavaScript - Size: 2.37 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/GPU-Trident

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

Language: PostScript - Size: 17.1 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

DependableSystemsLab/LLFI-GPU

Fault injector for GPUs based on the LLFI Fault Injection Tool

Language: C++ - Size: 681 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 14 - Forks: 2

DependableSystemsLab/ThingsJS-dashboard

ThingsJS Dashboard built with React

Language: JavaScript - Size: 280 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

DependableSystemsLab/PCMeetingDashboard

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

Language: JavaScript - Size: 2.31 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1

DependableSystemsLab/onnx-mlir-lltfi Fork of onnx/onnx-mlir

Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure

Size: 9.18 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/structural-coding

Language: Python - Size: 289 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/TDFM-Techniques

TDFM Techniques described in the DSN'22 Paper

Language: Python - Size: 1.28 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/Pi-Configurator

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

Language: Python - Size: 61.9 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

DependableSystemsLab/DNNFI

Fault Injector for Deep Neural Network (DNN) Accelerators

Language: C++ - Size: 23.6 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 3

DependableSystemsLab/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/

Language: Python - Size: 3.04 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/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)

Language: LLVM - Size: 84.3 MB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

DependableSystemsLab/pytorchfi Fork of pytorchfi/pytorchfi

A runtime fault injection tool for PyTorch :fire:

Size: 17.5 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/Ranger

Language: Python - Size: 106 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 1

DependableSystemsLab/TF-DM

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

Language: Python - Size: 3.42 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/GPU-Injector

A Fault Injector for GPGPU applications

Language: Python - Size: 35.2 KB - Last synced at: about 1 year ago - Pushed at: over 9 years ago - Stars: 5 - Forks: 5

DependableSystemsLab/LLFI-CrashRateEstimator

A machine learning-based framework for improving estimates of a program's crash probability made using LLFI.

Language: LLVM - Size: 2.14 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1

DependableSystemsLab/Artinali

ARTINALI Invariant detector for CPS platform Security

Language: Python - Size: 82 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

DependableSystemsLab/DynPolAC

Dynamic Policy-based Access Control for IoT nodes

Language: C - Size: 246 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/Holocron

Language: JavaScript - Size: 1.92 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/LetGo

Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

DependableSystemsLab/ReCov

ReCov Implementation & Experiments

Language: LLVM - Size: 3.66 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1

DependableSystemsLab/LLFI-IPA

Language: C++ - Size: 15.7 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0