Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by sslab-gatech
A curated list of projects in awesome lists by sslab-gatech .
https://github.com/sslab-gatech/rudra
Rust Memory Safety & Undefined Behavior Detection
Last synced: 30 Sep 2024
https://github.com/sslab-gatech/Rudra
Rust Memory Safety & Undefined Behavior Detection
Last synced: 31 Jul 2024
https://github.com/sslab-gatech/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
binary concolic-execution fuzzing hybrid-fuzzing
Last synced: 01 Aug 2024
https://github.com/sslab-gatech/cs3210-rustos-public
Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
Last synced: 02 Aug 2024
https://github.com/sslab-gatech/krace
Source code release for the KRace project
Last synced: 01 Aug 2024
https://github.com/sslab-gatech/t-sgx
Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
Last synced: 02 Aug 2024
https://github.com/sslab-gatech/vbench
VBench: Multicore Scalability Application Benchmark
Last synced: 02 Aug 2024
https://github.com/sslab-gatech/Pridwen
Universally Hardening SGX Programs via Load-Time Synthesis
Last synced: 02 Aug 2024