上海科技大学 | English | 地图
首页> 科学研究> 研究中心
计算机系统与安全中心
Date:2017/3/13     Browse:606
计算机系统与安全中心:
计算机系统与安全中心研究可扩展的、可靠的、安全的系统。本中心目前有以下研究重点。
- 移动计算和安全:静态和动态分析,移动app分析,移动恶意软件监测,确保不受信任的app
- 物联网:无人机和机器人系统安全分析。
- 软件安全:软件漏洞检测,类型安全应用,线程安全语言,漏洞检测。
- 加密:云计算和安全,多方计算安全,同态加密,可验证计算。
- 形式化验证:编程语言的语义,模型检查,自动机和逻辑,二进制码分析

- 存储系统:并行和分布式存储系统,高性能文件系统,存储系统的能效,存储系统的可靠性评估,NVM,混合存储。


本中心有一位教授四位助理教授:
陈浩:教授,2004年加州大学伯克利分校博士毕业
殷树:助理教授,2012年奥本大学博士毕业
宋富:助理教授,2013年巴黎狄德罗大学(巴黎第七大学)毕业
张良峰:助理教授,2012年南洋理工大学博士毕业