We have a bunch of other active projects in stealth mode, which in fact we are actually working on. If you'd like to know more about, please let us know (<mailto:sslab>).
Please check our opensource projects on Github.
Rudra
Rudra is a static analyzer to detect common undefined behaviors in Rust programs. This project received the distinguished artifact award in SOSP.
hydra
An Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
qsym
A hybrid fuzzer based on concolic execution. This project is famous with its practicality, also it got best-paper award from USENIX Security.
apollo
A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
DIE
Fuzzing JavaScript Engines with Aspect-preserving Mutation
A project removing privacy information from crash reports while preserving the correctness of report.
janus
a state-of-the-art file system fuzzer on Linux
Dataflow integrity based defense against kernel memory corruption attacks.
APISan
Sanitizing API Usages through Semantic Cross-Checking
ArcHeap
Automatic Techniques to Systematically Discover New Heap Exploitation Primitives
fxmark
Filesystem Multicore Scalability Benchmark
shfllock
A project for developing scalable and practical locking algorithms for high-performance multicore system.
vbench
Multicore Scalability Application Benchmark
A new mitigation technique that helps developers protect the released binary from fuzzing
mlsploit
A cloud-based system that enables attacks and defenses for machine learning (ML) models
Modified Nexus 9 kernel for Kenali Project
libmpk
Building software abstraction for Intel MPK hardware feature.
Synced with SGX101 gitbook.
A project improving fuzzing performance by adding new design primitive to operating system.
SGX 101
A place to start designing application with Intel SGX in mind.
eCS
Enlightened Critical Sections
latr
Lazy Translation Coherence - ASPLOS'18
deadline
This project introduces double-fetch bugs in kernel with formal definition and proposes an automatic detection method based on static analysis.
ordo
Designing scalable ordering primitive for multicore machines with invariant hardware clocks.
sgx-bomb
This is a rowhammer-based SGX attack project alarming its serious impact to cloud providers.
Crawler for GooglePlay
The branch shadowing attack: Proof of concept
hdfi
Hardware-assisted Data-flow Isolation
OpenSGX
An open platform for Intel SGX
platpal
A project detecting malicious PDF documents by analyzing execution traces.
bunshin
N-version-based software diversification project with novel strategies such as sanitizer distribution.
DrK
The DrK Attack - Proof of concept
SGX Tutorial at CCS17: SGX Security and Privacy
mosaic
This project builds a new graph processing engine with various optimizations, capable of processing a trillion-edge graph on a single machine.
Enabling Address Space Layout Randomization (ASLR) for SGX Programs
avpass
A tool for leaking and bypassing Android malware detection system
t-sgx
Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
This project implements scalable NUMA-aware locks by newly adding synchronization primitives to mutex and semaphore in the Linux kernel.
UniSan
Proactive Kernel Memory Initialization to Eliminate Data Leakages
A performance-oriented re-design of FakeRoot project - a tool that offers applications the illusion of root privileges - for multicore architectures
Preventing code-reuse attacks by stopping code pointer leakages
juxta
Cross-checking Semantic Correctness for File Systems
UCognito
Private Browsing without Tears
caver
This is a Facebook-Internet-Defense-Prize winning project that automatically discovers type casting bugs in C++.
kup
Prototype for seamlessly updating Linux kernel with application checkpoint-and-restart
