领导团队
副教授
任小西
南方科技大学斯发斯基可信自主研究院研究副教授,2007年获得湖南大学计算机应用技术博士学位,主要研究方向为计算机系统安全、可重构计算、以及嵌入式系统安全
研究助理教授
高级研究学者
朱域
专注于计算机安全领域的创新技术研究和工程化实践,努力推动科研与应用的融合发展
博士生
张梦雅
OSU CSE Phd student
李垠帅
2022级博士生,研究兴趣包括软件与系统安全,自动化漏洞挖掘,微体系结构安全和程序分析等。
孙致远
2022级香港理工大学联培博士生,研究方向为智能合约安全,Bug hunter & enthusiast
吴冠龙
2023级博士生,主要研究方向是机密计算在AI上的应用。
冼晋毅
2023级博士生。致力于探索形式化方法在构建可信系统、分布式系统等复杂的现实系统中的应用。
硕士生
王民杰
2021级硕士生
周帅
2021级硕士生
汤怡宁
2022级硕士生
徐品深
2022级硕士生
访问学生
姜柯
南洋理工大学博士研究生,研究方向主要为形式化方法及侧信道分析
王伟力
2020级硕士研究生,研究方向分布式系统安全
徐金焱
浙江大学博士研究生,研究方向为硬件辅助安全、系统安全
程玮斌
研究方向为侧信道攻击防御
杨硕
喜欢区块链和其它有意思的技术,很幸运能和志同道合的朋友们一起做有意义的事
往届成员
吕幸谕
科研助理,研究区块链相关的安全问题
周久钦
科研助理,想和我一起去探索世界吗?ヾ ^_^♪
李想
科研助理,研究方向:区块链共识算法、TEE
吕涵峥
访问学生,主要研究方向为区块链扩容,共识设计,数据安全
周擎阳
访问学生,研究方向为程序分析
邓森
2020级硕士研究生,毕业去向:香港科技大学博士生。
刘音希
香港中文大学博士生
陈维杰
华中科技大学网络空间安全硕士生,主要研究方向为系统安全、微架构侧信道和可信执行环境。
王杰
武汉大学博士研究生,研究方向为系统安全、可信计算
科研助理
彭维
科研助理
杨举
科研助理,研究方向为APT攻击检测、区块链安全
张开源
科研助理
蔡建泉
科研助理
米忆楠
科研助理,研究方向为区块链激励机制,共识算法
实验室秘书
欧阳艾欣
实验室螺丝钉,哪里需要去哪里。