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
