sslab-gatech/Rudra

Rust Memory Safety & Undefined Behavior Detection

Language: Rust - Size: 1.21 MB - Last synced at: about 21 hours ago - Pushed at: over 1 year ago - Stars: 1,346 - Forks: 48

sslab-gatech/open-tdx

Language: Shell - Size: 385 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 29 - Forks: 0

sslab-gatech/RoboFuzz

Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems

Language: Python - Size: 212 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 26 - Forks: 9

sslab-gatech/DrK

The DrK Attack - Proof of concept

Language: Python - Size: 901 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 345 - Forks: 62

sslab-gatech/tdx-linux

Language: C - Size: 381 MB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

sslab-gatech/latr

Latr: Lazy Translation Coherence - ASPLOS'18

Language: C - Size: 157 MB - Last synced at: 18 days ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 6

sslab-gatech/MALintent

Language: Rust - Size: 158 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 7 - Forks: 2

sslab-gatech/SysGPT

Principles and Methodologies for Serial Performance Optimization (OSDI' 25)

Language: Python - Size: 90.8 KB - Last synced at: 28 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

sslab-gatech/kernel-analyzer

Language: C++ - Size: 81.1 KB - Last synced at: 15 days ago - Pushed at: over 5 years ago - Stars: 72 - Forks: 26

sslab-gatech/winnie

Winnie makes fuzzing Windows applications easy

Language: C - Size: 1.37 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 558 - Forks: 76

sslab-gatech/pwn2own2020

Compromising the macOS Kernel through Safari by Chaining Six Vulnerabilities

Language: C++ - Size: 42.4 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 409 - Forks: 58

sslab-gatech/opensgx

OpenSGX

Language: C - Size: 67.7 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 301 - Forks: 80

sslab-gatech/freedom

A DOM fuzzer

Language: Python - Size: 168 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 146 - Forks: 26

sslab-gatech/Rudra-PoC

Trophy case for Rudra bugs.

Language: Rust - Size: 1.18 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 40 - Forks: 5

sslab-gatech/janus

Janus: a state-of-the-art file system fuzzer on Linux

Language: C - Size: 181 MB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 218 - Forks: 29

sslab-gatech/apollo

A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.

Language: HCL - Size: 88.3 MB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 71 - Forks: 15

sslab-gatech/DIE 📦

Fuzzing JavaScript Engines with Aspect-preserving Mutation

Language: TypeScript - Size: 933 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 225 - Forks: 45

sslab-gatech/mosaic

Language: C++ - Size: 245 KB - Last synced at: 4 months ago - Pushed at: almost 8 years ago - Stars: 82 - Forks: 12

sslab-gatech/cs3210-rustos-public

Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"

Language: Rust - Size: 231 MB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 118 - Forks: 33

sslab-gatech/hydra

Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems

Language: C - Size: 107 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 166 - Forks: 27

sslab-gatech/avpass

Tool for leaking and bypassing Android malware detection system

Language: Smali - Size: 25.6 MB - Last synced at: 4 months ago - Pushed at: almost 8 years ago - Stars: 294 - Forks: 92

sslab-gatech/ACon2

Language: Solidity - Size: 1.97 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 4

sslab-gatech/qsym 📦

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language: C++ - Size: 35.4 MB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 637 - Forks: 135

sslab-gatech/ArcHeap

ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives

Language: C - Size: 29.3 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 150 - Forks: 17

sslab-gatech/fuzzification

We hinder fuzzing

Language: C - Size: 7.5 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 67 - Forks: 10

sslab-gatech/DIE-corpus

Corpus set used by DIE

Language: Raku - Size: 79.8 MB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 40 - Forks: 16

sslab-gatech/krace

Source code release for the KRace project

Language: Python - Size: 275 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 27 - Forks: 9

sslab-gatech/fxmark

FxMark: Filesystem Multicore Scalability Benchmark

Language: Filebench WML - Size: 1.98 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 63 - Forks: 38

sslab-gatech/AndroidCoverageAgent

Coverage gathering JVMTI agent for Android

Language: C++ - Size: 213 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 3

sslab-gatech/kup

Prototype for seamlessly updating Linux kernel with application checkpoint-and-restart

Size: 0 Bytes - Last synced at: 4 months ago - Pushed at: about 10 years ago - Stars: 6 - Forks: 0

sslab-gatech/unisan

UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages

Language: C++ - Size: 41.4 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 42 - Forks: 19

sslab-gatech/deadline

Language: C++ - Size: 173 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 46 - Forks: 15

sslab-gatech/t-sgx

Compiler-based tool that protects Intel SGX applications against controlled-channel attacks

Language: C++ - Size: 22.6 MB - Last synced at: 4 months ago - Pushed at: about 8 years ago - Stars: 27 - Forks: 8

sslab-gatech/juxta

Language: C++ - Size: 62 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 25 - Forks: 16

sslab-gatech/autofz

autofz: Automated Fuzzer Composition at Runtime

Language: C - Size: 217 MB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 76 - Forks: 11

sslab-gatech/Sense

Code for Sense (NDSS'24)

Language: C++ - Size: 40.1 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 1

sslab-gatech/kenali-kernel

Modified Nexus 9 kernel for Kenali Project

Language: C - Size: 127 MB - Last synced at: 4 months ago - Pushed at: almost 6 years ago - Stars: 30 - Forks: 10

sslab-gatech/caver

Language: C++ - Size: 33.6 MB - Last synced at: about 6 hours ago - Pushed at: almost 10 years ago - Stars: 26 - Forks: 7

sslab-gatech/ucognito

Language: C - Size: 5.04 MB - Last synced at: 4 months ago - Pushed at: over 9 years ago - Stars: 12 - Forks: 4

sslab-gatech/aslr-guard

Preventing code-reuse attacks by stopping code pointer leakages

Size: 230 MB - Last synced at: 4 months ago - Pushed at: over 9 years ago - Stars: 36 - Forks: 13

sslab-gatech/fakeroot-p

Language: Makefile - Size: 609 KB - Last synced at: 4 months ago - Pushed at: almost 9 years ago - Stars: 9 - Forks: 1

sslab-gatech/sgx-tutorial-ccs17

SGX Tutorial at CCS17: SGX Security and Privacy

Size: 142 MB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 85 - Forks: 28

sslab-gatech/bunshin

Language: Python - Size: 65.4 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 1

sslab-gatech/platpal

Language: C++ - Size: 22.4 MB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 13 - Forks: 1

sslab-gatech/hdfi

Hardware-assisted Data-flow Isolation

Language: C - Size: 194 MB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 27 - Forks: 13

sslab-gatech/branch-shadowing

The branch shadowing attack: Proof of concept

Language: C++ - Size: 68.4 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 7

sslab-gatech/playcrawl

Crawler for Googleplay

Language: HTML - Size: 128 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 3

sslab-gatech/sgx-bomb

Language: Makefile - Size: 52.7 KB - Last synced at: 4 months ago - Pushed at: almost 7 years ago - Stars: 16 - Forks: 4

sslab-gatech/perf-fuzz

Language: C - Size: 154 MB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 96 - Forks: 17

sslab-gatech/vbench

VBench: Multicore Scalability Application Benchmark

Language: Python - Size: 16.4 MB - Last synced at: 4 months ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 5

sslab-gatech/lkl-hydra

Language: C - Size: 197 MB - Last synced at: 4 months ago - Pushed at: almost 6 years ago - Stars: 10 - Forks: 3

sslab-gatech/desensitization

Language: Python - Size: 27.7 MB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 11 - Forks: 1

sslab-gatech/cst-locks

Language: C - Size: 115 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 14 - Forks: 4

sslab-gatech/ordo

Language: C - Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 3

sslab-gatech/Rudra-Artifacts

Rudra's artifact evaluation submission

Language: Rust - Size: 656 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 4

sslab-gatech/apisan

APISan: Sanitizing API Usages through Semantic Cross-Checking

Language: C++ - Size: 34 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 63 - Forks: 27

sslab-gatech/shfllock

Language: C - Size: 27.8 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 41 - Forks: 25

sslab-gatech/eCS

Enlightened Critical Sections

Language: C - Size: 168 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 4

sslab-gatech/libmpk 📦

Language: C - Size: 170 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 49 - Forks: 7

sslab-gatech/SNAP

Language: C - Size: 266 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 3

sslab-gatech/sgx101

A place to start designing application with Intel SGX in mind.

Language: HTML - Size: 139 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 4

sslab-gatech/lkl

Language: C - Size: 1.56 GB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

sslab-gatech/Pridwen

Universally Hardening SGX Programs via Load-Time Synthesis

Language: C++ - Size: 51.9 MB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 2

sslab-gatech/blockchain-lab-pwneth

Language: Solidity - Size: 59.6 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 1

sslab-gatech/blockchain-lab-template

Language: Python - Size: 7.81 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 2

sslab-gatech/sgx101-gitbook

Synced with SGX101 gitbook.

Size: 66.5 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 31 - Forks: 12

sslab-gatech/UniAlloc

Language: Rust - Size: 2.69 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

sslab-gatech/ctf-template

Docker template for TKCTF

Language: Python - Size: 20.5 KB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 7

sslab-gatech/RAKIS Fork of gramineproject/gramine

RAKIS : Secure Fast I/O Primitives Across Trust Boundaries on Intel SGX

Language: C - Size: 13.5 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

sslab-gatech/SGX-Shield Fork of jaebaek/SGX-Shield

SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs

Language: C++ - Size: 55.4 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 2