gts3.org (SSLab@Gatech)

https://gts3.org

School of Computer Science, Georgia Tech

Pinned Repositories

avpass
Tool for leaking and bypassing Android malware detection system
Language:Smali296 37 1793
DIE
Fuzzing JavaScript Engines with Aspect-preserving Mutation
Language:TypeScript228 30 2444
DrK
The DrK Attack - Proof of concept
Language:Python347 33 064
hydra
Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
Language:C170 22 2628
janus
Janus: a state-of-the-art file system fuzzer on Linux
Language:C229 24 1131
opensgx
OpenSGX
Language:C304 45 5982
pwn2own2020
Compromising the macOS Kernel through Safari by Chaining Six Vulnerabilities
Language:C++410 36 159
qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Language:C++653 26 85136
Rudra
Rust Memory Safety & Undefined Behavior Detection
Language:Rust1.4k 25 2848
winnie
Winnie makes fuzzing Windows applications easy
Language:C563 41 3678

gts3.org (SSLab@Gatech)'s Repositories

sslab-gatech/Rudra
Rust Memory Safety & Undefined Behavior Detection
Language:Rust1.4k 25 2848
sslab-gatech/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Language:C++653 26 85136
sslab-gatech/winnie
Winnie makes fuzzing Windows applications easy
Language:C563 41 3678
sslab-gatech/DIE
Fuzzing JavaScript Engines with Aspect-preserving Mutation
Language:TypeScript228 30 2444
sslab-gatech/hydra
Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
Language:C170 22 2628
sslab-gatech/freedom
A DOM fuzzer
Language:Python153 39 528
sslab-gatech/autofz
autofz: Automated Fuzzer Composition at Runtime
Language:C82 30 914
sslab-gatech/open-tdx
Language:Shell422
sslab-gatech/Rudra-PoC
Trophy case for Rudra bugs.
Language:Rust40 20 15
sslab-gatech/sgx101-gitbook
Synced with SGX101 gitbook.
31 5 012
sslab-gatech/RoboFuzz
Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems
Language:Python30 26 09
sslab-gatech/MALintent
Language:Rust29 23 17
sslab-gatech/AndroidCoverageAgent
Coverage gathering JVMTI agent for Android
Language:C++23 24 05
sslab-gatech/SysGPT
Principles and Methodologies for Serial Performance Optimization (OSDI' 25)
Language:Python20
sslab-gatech/blockchain-lab-pwneth
Language:Solidity12 26 01
sslab-gatech/Sense
Code for Sense (NDSS'24)
Language:C++9 28 01
sslab-gatech/Pridwen
Universally Hardening SGX Programs via Load-Time Synthesis
Language:C++8 22 12
sslab-gatech/ACon2
Language:Solidity5 26 04
sslab-gatech/RAKIS
RAKIS : Secure Fast I/O Primitives Across Trust Boundaries on Intel SGX
Language:C5 0 0
sslab-gatech/blockchain-lab-template
Language:Python1 4 02
sslab-gatech/ctf-template
Docker template for TKCTF
Language:Python110
sslab-gatech/portal
Language:C++1 22 0
sslab-gatech/seabios
Language:C11
sslab-gatech/seam-loader
Language:C1 23 11
sslab-gatech/tdx-linux
Language:C11
sslab-gatech/tdx-module
Language:C1
sslab-gatech/tdx-qemu
Language:C11
sslab-gatech/UniAlloc
Language:Rust1 23 01
sslab-gatech/MSG
Agentic Specification Generator for Move Programs
sslab-gatech/RUG
Language:Rust1