Vis: Virtualization Enhanced Live Forensics Acquisition for Native System
Joan is a virtualization based application protection system. Joan protects security-critical portions of app. against large vulnerable code
HAMA: High Availability Memory Access, a software mirrored memory solution to enhance the system availability.
Hybrid virtualization: Optimizing Virtual Machines Using Hybrid Virtualization
SPAD is a lightweight anti-debugger modules built in special purpose hypervisor.
Fast Hibernation purposes to use the outstanding performance of PCM to achieve whole system fast hibernation.
RT scheduling tries to modify the legacy Xen scheduler to gain RT awareness and enhance flexibility of virtualization in server situation.
XenDebugger is a source level Linux kernel debugger based Xen virtualization system.
dht-demo is a basic open source (github) simulated implementation of the Chord protocol in Python.
icyhttpd is a open source http server using Fiber on IOCP
NewAppAudit makes app auditing useful for app market operators, app developers and mobile end users, to reveal data leaks effectively and efficiently [S&P 2015].
Program Analysis
DiSL-A new domain-specific aspect language for bytecode instrumentation.International Cooperation Project with Walter Binder
C-Decompiler is a refined decompiler that translates X86 binary code to C/C++ code
Lock Analysis applies symbolic execution and program slicing to analyse programs' lock usage
SDCF is a framework that combines dynamic and static analysis technique for software security and program analysis
ESP Java Version is a tool for locking security verification that run on JLLVM platform
JLLVM: A Java version of LLVM Core for LLVM IR Analysis.
ScalaHDL: a Scala DSL which enables you to write code for FPGA in Scala, and later converted it into Verilog. You can also simulate and test your FPGA designs in ScalaHDL without converting them into Verilog.
LUPA : A tool based on LLVM automatically collect data of lock usage in open source applications [ICSM 2013].
Virtualization
NewGiantVM is a distributed hypervisor that aggregates resources from multiple physical machines, providing the guest OS with a uniform hardware abstraction.
Next Generation Networking
DynamicFL is a study cooperated with Dr. Zhang Xin. It provides security communication in Data Center. We extend the reporting algorithm to improve the potential conjestion problem in Dr. Zhang’s previous paper.
D2FL : An open source prototype of Distributed Dynamic Fault Localization.
Green Computing
VM Pool: Quality of Service Aware Power Management for Virtualized Data Centers