ElaineYao

swarmlab_e

SmarmLab: a versatile Matlab package for drone swarm simulation.

TensorFI-GUI

TensorFI-GUI is a tool related to TensorFI, to help the user to inject faults in TensorFlow automatically.

571p

Course project for 571p

ardupilot

ArduPlane, ArduCopter, ArduRover, ArduSub source

ASTtest

avis

The aerial vehicle in situ model checker

Context-switch-in-serverless-functions

cpsc538m

drone_verification

elaineyao.github.io

A beautiful, simple, clean, and responsive Jekyll theme for academics

flush-reload-attacks

fr

Fuzzing101

An step by step fuzzing tutorial. A GitHub Security Lab initiative

lab1

CPEN333- Lab1

lab2_public

CPEN333-102 Lab 2: Multi-threading

lidar-msf

MAVProxy

MAVLink proxy and command line ground station

minicps

MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet

msf

oa

PX4-Autopilot

PX4 Autopilot Software

Stanford-CS143

swarmflaw

SwarmFlawFinder Project Website

swat_minicps

swatMod

SWAT project using modbud protocol

syml

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.

TensorFI-demo

Reproduce the results in TensorFI paper

test

unicorn_libfuzz