上海市高可信计算重点实验室
上海市高可信计算重点实验室始建于2007年12月，2009年7月经上海市科委批准正式运行，2011年、2014年在上海市重点实验室评估中连续两次评估优秀。实验室依托华东师范大学，先后成立计算机理论研究所、海量信息研究所、密码与安全研究中心，同时下设可信计算理论研究室、符号计算研究室和海量计算研究室。 实验室由中国科学院院士何积丰教授担任主任，中国科学院院士周巢尘教授担任学术委员会主任。实验室现有固定研究人员45名，包括中国科学院院士1名，长江学者1名、国家杰出青年基金获得者3名及千人计划专家2名，上海市优秀学科带头人、上海市曙光学者、上海市浦江人才以及上海市青年科技启明星等多人。 实验室以当前计算机科学和软件工程领域提出的可信计算和安全软件的基本问题为背景，面向国家发展软件产业的战略需求和上海市地方经济的重点需求，确立了高可信计算理论、可信软件构造平台和可信计算应用等为主攻方向，进行可信计算理论与软件开发技术的基础研究。 实验室通过公开招聘吸引国内外优秀的人才，通过中长期国际合作项目、举办国际会议、引进外籍专家和博士后来实验室长期工作提高国际化，通过开放课题、资源共享鼓励学术交流，通过暑期班、国外联合培养研究生加快人才培养，借鉴国外研究先进管理制度和运行机制，实现国际合作研究、流动人员、邀请访问交流、讲学、暑期学校等灵活的人才和交流机制，使实验室成为上海市高可信计算领域的学术研究、交流及高科技人才培养的重要基地，成为国际一流的可信计算研究和应用中心。
