IPADS

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Projects (Not-in-Sync)======
Security Related Projects:
  * **Untrusted Hypervisor**: Hypervisor, as the critical single point of failure, has bugs. We try to minimize the TCB of hypervisor and tolerant non-critical failures.
     * In __HyperCoffer__ [HPCA'13][{{:publications:hypercoffer-hpca2013.pdf|pdf}}], we develop a secure processor that supports unmodified VM running in hardware enclave, without trusting hypervisor.
     * In __Nexen__ [NDSS'17][{{:publications:nexen-ndss17.pdf|pdf}}], we analyze 191 Xen's CVE and redesign Xen by partitioning it to multiple slices. Each slice only serves one VM. The system can defend against 75% vulnerability without knowing details.

  * **System and Application on ARM TrustZone**: We aim to leverage TrustZone to improve the security and performance of different scenarios, on both mobile and server platforms.
     * In __vTZ__ [USENIX Security'17][{{publications:vtz-security17.pdf|pdf}}], we build a system that enables system virtualization for ARM server that supports different TrustZone for each VM.
     * In __AdAttester__ [MobiSys'15][{{publications:adattester-mobisys15.pdf|pdf}}], we leverage TrustZone to prevent Ad fraud by generating attestation of user's behavior in the secure world.
     * In __VButton__ [MobiSys'18][{{publications:vbutton-mobisys18.pdf|pdf}}], we leverage TrustZone to provide secure attestation of user-driven operations.
     * In __TEEv__ [VEE'19][{{publications:vee2019_teev.pdf|pdf}}], we support different TEEs to securely run in the single device. 
     * The above projects are based on T6, our full-fledged TEE operating system that has been deployed in hundreds of millions of mobile phones. More information about T6 and our startup **TrustKernel (瓶钵信息科技)** can be found here: [[https://www.trustkernel.com]]

  * **System and Application on ARM TrustZone**: We try to integrate SGX with system software to achieve better performance, compatibility, more functionalities and be more developer-friendly.
     * In __SGX-Migration__ [DSN'17][{{:publications:sgxmigration-dsn17.pdf|pdf}}], we build virtualization support for SGX enclave which supports live migration without trusting hypervisor or guest operating system.
     * In __SGX-chain__, we use SGX to protect the smart contract execution in Ethereum to offer confidentiality for blockchain.

  * **New Hardware Features for System Software**: We are good at leveraging new hardware features and build systems faster and more secure. We believe small hardware change can benefit big system security improvement. We go deep into hardware design and the interaction between hardware and system software.
     * In __CFIMon__ [DSN'12][{{:publications:cfimon-dsn12.pdf|pdf}}], we are the first to use hardware performance counter (BTS) to enforce CFI at runtime with acceptable performance overhead.
     * In __TxIntro__ [HPCA'14][{{:publications:txintro-hpca14.pdf|pdf}}], we leverage hardware transaction memory to (HTM) enhance VM introspection, which won the “Best Paper Nominee” award of HPCA'14.
     * In __VPM__ [SoCC'16][{{:publications:vpm-socc16.pdf|pdf}}], we build a system that hybrids DRAM & PM to achieve close performance as full-PM system which keeping the whole system crash consistency.
     * In __CrossOver__ [ISCA'15][{{:publications:crossover-isca15.pdf|pdf}}], we improve the performance of cross-domain invocation by introducing new hardware instructions.

In-memory computing and graph computing:
  * [[projects:Wukong]]: Fast and Concurrent Query Processing on Big (Linked) Data
  * [[pub:projects:DrTM]]: Fast In-memory Transactional Processing using Transactional Memory
  * [[http://ipads.se.sjtu.edu.cn/projects/polymer.html|Polymer]]: NUMA-aware Graph-structured Analytics Framework. 
  * [[http://ipads.se.sjtu.edu.cn/projects/powerlyra.html|PowerLyra]]: Differentiated graph computation and partitioning. 
  * [[http://ipads.se.sjtu.edu.cn/projects/powerswitch.html|PowerSwitch]]: Adaptive mode switch on parallel graph computation. 
  * [[http://ipads.se.sjtu.edu.cn/projects/imitator.html|Imitator]]: Replication-based Fault-tolerance for Large-scale Graph Processing.
  * [[http://ipads.se.sjtu.edu.cn/projects/cyclops.html|Cyclops]]: Computation and Communication Efficient Graph Processing.

Previous Projects:
  * [[pub:projects:CHAOS]]: Confidentiality and High-assurance equipped Operating Systems
  * [[pub:projects:Mercury]]: Combining Performance with Depdendability Using Self-virtualization
  * [[pub:projects:POLUS]]: A POwerful Live Updating Systems 
  * [[pub:projects:LUCOS]]: Providing Live Update Support for Contemporary Operating System
  * [[pub:projects:Shepherd]]: VMM-based Process Shepherding
  * [[pub:projects:SHIFT]]: Speculative Hardware-based Information Flow Tracking
  * [[pub:projects:ICA]]: Safe Binary Device Driver Reuse via User-level Binary Translation
  * [[pub:projects:Vicover]]: Optimizing Crash Dump in Virtualized Environments
  * [[pub:projects:Hang Survey]]: A comprehensive study on software hang
  * [[pub:projects:COREMU]]: A scalable and portable parallel full-system emulator
  * [[pub:projects:Parallel VM Migration]]:Parallelizing Live Migration of Virtual Machines
  * [[pub:projects:Prwlock]]: Passive reader writer lock
  * [[pub:projects:Cocytus]]: Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication