高胜
主页地址： https://teacher.cufe.edu.cn/sgao/zh_CN/index.htm
博士生导师
硕士生导师
职称：教授
教师姓名：高胜
教师拼音名称：Gao Sheng
职务：信息学院副院长
联系方式：
学位：工学博士学位
在职信息：在职
所属院系：信息学院
学科：网络空间安全
其他联系方式
邮箱：
通讯/办公地址：
邮编：
论文成果
SmartFast: An Accurate and Robust Formal Analysis Tool for Ethereum Smart Contracts
发布时间：2026-04-10 点击次数：
发布时间：2026-04-10
论文名称：SmartFast: An Accurate and Robust Formal Analysis Tool for Ethereum Smart Contracts
发表刊物：Empirical Software Engineering
合写作者：Siqi Lu, Rui Zhang, Rui Xue, Wenqiu Ma, Rujin Liang, Ziming Zhao, 高胜
第一作者：Zhaoxuan Li
是否译文：否
发表时间：2022-10-22
