gts3.org (SSLab@Gatech)

icon indicating a website link https://gts3.org icon indicating an email [email protected]

icon location School of Computer Science, Georgia Tech icon location https://gts3.org

Results 37 repositories owned by gts3.org (SSLab@Gatech)

juxta

21
Stars
16
Forks
Watchers

verified publisher icon sslab-gatech

kenali-kernel

27
Stars
9
Forks
Watchers

Modified Nexus 9 kernel for Kenali Project

verified publisher icon sslab-gatech

kernel-analyzer

65
Stars
23
Forks
Watchers

verified publisher icon sslab-gatech

krace

26
Stars
8
Forks
Watchers

Source code release for the KRace project

verified publisher icon sslab-gatech

libmpk

44
Stars
8
Forks
Watchers

verified publisher icon sslab-gatech

mosaic

76
Stars
12
Forks
Watchers

verified publisher icon sslab-gatech

opensgx

286
Stars
83
Forks
Watchers

OpenSGX

verified publisher icon sslab-gatech

perf-fuzz

94
Stars
19
Forks
Watchers

verified publisher icon sslab-gatech

Rudra

1.3k
Stars
41
Forks
Watchers

Rust Memory Safety & Undefined Behavior Detection

verified publisher icon sslab-gatech

Rudra-PoC

33
Stars
4
Forks
Watchers

Trophy case for Rudra bugs.

verified publisher icon sslab-gatech