Discover vusec/typeisolation Open Source project by VUSec (@vusec)

Stars
8
Rank 2,099,232 (Top 42 %)
Language
C++
Created over 2 years ago
Updated over 2 years ago

vusec

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

Type-based Data Isolation prototype

drammer

Native binary for testing Android phones for the Rowhammer bug

C++

478

vuzzer

379

revanc

Reverse Engineering Page Table Caches in Your Processor

362

ridl

RIDL test suite and exploits

345

vuzzer64

This implements a 64-bit version of vusec/vuzzer fuzzing tool.

C++

175

parmesan

ParmeSan: Sanitizer-guided Greybox Fuzzing

hammertime

trrespass

bhi-spectre-bhb

This repository contains exploit and reverse-engineering source code regarding the Spectre-BHB/Branch History Injection vulnerability

101

guardion

Android GuardION patches to mitigate DMA-based Rowhammer attacks on ARM

C++

collabfuzz

CollabFuzz: A Framework for Collaborative Fuzzing

C++

dangsan

C++

floatzone

pandacap

A framework for streamlining the capture of PANDA execution traces.

Shell

slam

Spectre based on Linear Address Masking

deltapointers

Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)

C++

kasper

Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel

smash

memsentry

Open-source release for MemSentry (EuroSys'17)

typearmor

Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks

uncontained

Uncovering Container Confusion in the Linux Kernel

C++

inspectre-gadget

InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets

Python

blindside

xlate

Code to evaluate XLATE attacks as well existing cache attacks.

typesan

TypeSan checks casts in C++ code - code released for CCS 2016

C++

minesweeper

Tools used for MineSweeper project

Python

safeinit

SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017

C++

kmvx

kMVX: Detecting Kernel Information Leaks with Multi-variant Execution

patharmor

instrumentation-infra

An extendable and flexible infrastructure for program instrumentation.

Python

mvarmor

Multi-variant execution (MVX) using hardware-assisted process virtualization (with Dune)

shalloc

Shared memory allocator

tlbdr

dangzero

tlbkit

some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.

Python

fpvi-scsb

Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks

triereme

Rust

midfat

C++

ramses

Memory address translation library.

LookUB

C++

snappy

C++

TIFF

C++

drammer-app

GUI for testing Android phones for the Rowhammer bug

Java

vusion

probeguard

ProbeGuard: Mitigating Probing Attacks Through Reactive Program Transformations [ ASPLOS'19 ]

C++

dune

Dune fork

poking-holes

Project for the Poking Holes in Information Hiding paper

OCaml

alis

LLVMUtils

This repository contains a number of generic LLVM utility functions, setters, and/or getters for use in different LLVM passes.

C++

libshrink

A user-space runtime library to shrink the address space to a specified number of bits.

C++

zebram

pibe

PIBE project source code

infra-sanitizers

Configurations for benchmarking sanitizers

Python

qemu-hypercall

QEMU offering the hypercall interface used by HSFI and OSIRIS

firestarter

aos-labs-2021

Vrije Universiteit Amsterdam - Advanced Operating Systems (OpenLSD)

osiris

delorean

hammertime-fliptables

Rowhammer flip tables collected using Hammertime.

ReScript

instrumentation-skeleton

Skeleton repository for instrumentation-infra users.

Python

Copy-on-Flip

aos-labs-2020

Vrije Universiteit Amsterdam - Advanced Operating Systems (OpenLSD)

absynthe

ABSynthe related code

Python

minix-llvm

MINIX with the changes from the llvm_squashed branch needed for OSIRIS and HSFI

libumem-mvx

libumem fork for MvArmor

SCC

The |S|uborbital |C||C|annon compiler fuzzing framework

C++

libdft64-ng

Fork of https://github.com/AngoraFuzzer/libdft64 with support for shadow memory-based tagmap, small set tags, pointer/offset labels, and taint all memory semantics.

C++

dsn-2016-hsfi

type-after-type

C++

kamino

OCaml

SpeculationAtFault-AE

Artifact of "Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions"

kdfsan-llvm-project

C++

kdfsan-syzkaller

kdfsan-linux

coco-docs

Vrije Universiteit Amsterdam - Compiler Construction (aux docs)

HTML

pirop

PIROP Asterisk exploits

Python

vu-forms-and-templates

VU forms and templates

TeX

uncontained-llvm-project

lldb-dfsan

Debugging DFSan labels with LLDB

Python

vusec/typeisolation

vusec

Reviews

Repository Details

More Repositories