包象琳　女，1994年12月生于安徽芜湖，安徽工程大学计算机与信息学院教师.研究方向包括：区块链，形式化方法，网络与信息安全等.E-mail：baoxianglin@ahpu.edu.cn

熊 焰　男，1960年8月生于安徽合肥，中国科学技术大学计算机科学与技术学院教授、博士生导师.研究方向包括：计算机网络与信息安全，移动计算与移动网络，分布式处理等.E-mail：yxiong@ustc.edu.cn

黄文超（通讯作者） 男，1982年6月生于湖北宜昌，中国科学技术大学计算机科学与技术学院副教授.研究方向包括：信息安全，人工智能，移动计算，网络与系统安全自动化验证技术，Android系统安全等.E-mail：hangwc@ustc.edu.cn

陈凯杰　男，1997年6月出生于安徽合肥，中国科技大学计算机科学与技术学院在读硕士研究生.研究方向包括：区块链，形式化方法.E-mail：ckjkevin@mail.ustc.edu.cn

汪万森　男，1995年9月生于安徽合肥，中国科学技术大学计算机科学与技术学院在读博士生.研究方向包括：协议形式化验证，区块链.E-mail：wangws@mail.ustc.edu.cn

孟昭逸　男，1992年5月生于安徽合肥，中国科学技术大学计算机科学与技术学院博士后研究员.研究方向包括：安卓安全，软件形式化验证等.E-mail：mzy516@ustc.edu.cn

徐晓峰　男，1992年12月生于安徽芜湖，安徽工程大学计算机与信息学院讲师.研究方向包括：零样本学习，深度学习，机器学习，信息安全等.E-mail：xuxiaofeng@ahpu.edu.cn

方贤进　男，1970年11月生于安徽舒城，安徽理工大学计算机科学与工程学院教授、博士生导师.研究方向包括：信息安全，数据挖掘等.E-mail：xjfang@aust.edu.cn