检索
E-mail
RSS

作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
基于符号执行的智能合约重入漏洞检测
高山, 王诚昱, 毕成铭, 朱铁英
Smart Contract Reentrancy Vulnerability Detection Based on Symbolic Execution
GAO Shan, WANG Chengyu, BI Chengming, ZHU Tieying
计算机工程 . 2024, (10): 196 -204 .  DOI: 10.19678/j.issn.1000-3428.0068288

总访问量 ，当前在线

copyright@《计算机工程》编辑部

2023 © 华东计算技术研究所（中国电子科技集团公司第三十二研究所） 沪ICP备08102551号-2

地址：上海市嘉定区澄浏公路63号(201808) Tel：021-67092217(费用/发票)（稿件问题请直接联系栏目编辑） E-mail：ecice06@ecict.com.cn

沪公网安备31011402007040号

本系统由北京玛格泰克科技发展有限公司设计开发