董伟良(1998-),男,硕士生,主要研究领域为智能合约安全.;刘哲(1986-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为密码学,密码工程,后量子密码,侧信道攻击与防御.;刘逵(1988-),男,博士,副教授,主要研究领域为智能化软件工程,软件安全.;黎立(1989-),男,博士,高级讲师,博士生导师,主要研究领域为智能化软件工程,软件安全.;葛春鹏(1987-),男,博士,副教授,主要研究领域为网络空间安全,软件安全.;黄志球(1965-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为软件工程,系统软件,形式化方法.
刘逵,E-mail:kui.liu@nuaa.edu.cn
国家重点研发计划(2021YFB2700503); 国家自然科学基金(62172214, 62032025, U20A201092, 62071222); 广东省重点研发计划(2020B0101090002); 江苏省自然科学基金(BK20210279, BK20200418); 江苏省科技支撑计划(BE2020106); 数学工程与先进计算国家重点实验室开放基金(2020A06)
董伟良,刘哲,刘逵,黎立,葛春鹏,黄志球.智能合约漏洞检测技术综述.软件学报,2024,35(1):38-62
复制