Visit ShanghaiTech University | 中文 | How to find us
HOME > Research > Research Centers
Computer System Security Center
Date: 2017/3/13             Browse: 565
Computer System Security Center 
Computer System Security Center researches on scalable, reliable, secure systems. The center currently has the following research thrusts.
- Mobile computing and security: static and dynamic analyses of mobile app, mobile malware detection, securing untrusted apps.
IoT security: security analysis of UAV and robotic systems.
Software security: software fuzzing, application of type-safe, thread-safe languages, vulnerabilities detection
Cryptography: cloud computing and security, secure multi-party computation, homomorphic encryption, verifiable computation
Formal verification: Semantics of programming languages, model-checking, automata and logic, binary-code analysis
Storage systems: parallel and distributed storage systems, high performance file systems, energy efficiency of storage systems,  reliability evaluation of storage systems, NVM, hybrid storage

The center has one professor and three assistant professors.

Hao Chen, Professor, PhD at University of California, Berkeley, 2004.
Shu Yin, Assistant Professor, PhD at Auburn University, 2012
Fu Song, Assistant Professor, PhD at University Paris Diderot (Paris 7), 2013
Liangfeng Zhang, Assistant Professor, PhD at Nanyang Technological University, 2012