gts3.org (SSLab@Gatech) (sslab-gatech)

gts3.org (SSLab@Gatech)

sslab-gatech

Organization data from Github https://github.com/sslab-gatech

https://gts3.org

Location:School of Computer Science, Georgia Tech

Home Page:https://gts3.org

GitHub:@sslab-gatech

Twitter:@SSLab_Gatech

gts3.org (SSLab@Gatech)'s repositories

Rudra

Rust Memory Safety & Undefined Behavior Detection

Language:RustLicense:Apache-2.0Stargazers:1357Issues:28Issues:23

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++License:NOASSERTIONStargazers:653Issues:26Issues:85

winnie

Winnie makes fuzzing Windows applications easy

DIE

Fuzzing JavaScript Engines with Aspect-preserving Mutation

Language:TypeScriptLicense:MITStargazers:228Issues:30Issues:24

hydra

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

freedom

A DOM fuzzer

Language:PythonLicense:MITStargazers:153Issues:39Issues:5

autofz

autofz: Automated Fuzzer Composition at Runtime

Language:CLicense:MITStargazers:82Issues:30Issues:9
Language:ShellStargazers:42Issues:0Issues:0

Rudra-PoC

Trophy case for Rudra bugs.

sgx101-gitbook

Synced with SGX101 gitbook.

RoboFuzz

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

Language:PythonLicense:MITStargazers:30Issues:26Issues:0

AndroidCoverageAgent

Coverage gathering JVMTI agent for Android

Language:C++Stargazers:23Issues:24Issues:0

SysGPT

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

Language:PythonLicense:MITStargazers:20Issues:0Issues:0

Sense

Code for Sense (NDSS'24)

Language:C++License:BSD-3-ClauseStargazers:9Issues:28Issues:0

Pridwen

Universally Hardening SGX Programs via Load-Time Synthesis

Language:SolidityLicense:MITStargazers:5Issues:26Issues:0

RAKIS

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

Language:CLicense:LGPL-3.0Stargazers:5Issues:0Issues:0

ctf-template

Docker template for TKCTF

Language:PythonStargazers:1Issues:0Issues:0
Language:C++Stargazers:1Issues:0Issues:0
Language:CLicense:LGPL-3.0Stargazers:1Issues:0Issues:0
Language:CStargazers:1Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:RustStargazers:1Issues:23Issues:0

MSG

Agentic Specification Generator for Move Programs

Stargazers:0Issues:0Issues:0
Language:RustLicense:MITStargazers:0Issues:0Issues:0