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.
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

This project is 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
