领导团队
研究助理教授
博士生

张梦雅
OSU CSE Phd student

李垠帅
南方科技大学博士研究生,研究兴趣包括软件与系统安全,自动化漏洞挖掘,微体系结构安全和程序分析等。
硕士生

邓森
硕士研究生。形式化方法,程序分析,分布式共识。

王伟力
硕士研究生,研究方向分布式系统安全。

汤怡宁
南方科技大学2018级本科生

王民杰
南方科技大学2021级研究生

徐品深
南方科技大学2018级本科生

周帅
2021级硕士研究生
访问学生

杨举
Teecert Labs访问学生,研究方向为APT攻击检测、区块链安全

刘音希
香港中文大学博士生

周擎阳
目前研究方向为程序分析

王杰
访问学生,研究方向为系统安全、可信计算

吴冠龙
网络安全和信息安全方向博士生

姜柯
博士研究生,研究方向主要为形式化方法及侧信道分析
往届成员

吕幸谕
研究区块链相关的安全问题

周久钦
想和我一起去探索世界吗?ヾ ^_^♪

李想
研究方向:区块链共识算法、TEE

吕涵峥
博士一年级,主要研究方向为区块链扩容,共识设计,数据安全
科研助理

彭维
科研助理

冼晋毅
科研助理。让计算机系统安全可靠
实验室秘书

欧阳艾欣
实验室螺丝钉,哪里需要去哪里。