[PDF][PDF] 智能合约安全漏洞检测技术研究综述
钱鹏， 刘振广， 何钦铭， 黄步添， 田端正， 王勋 - 软件学报, 2021 - jos.org.cn
… 计算机程序, 由图灵完备(Turing complete)语言编写, 可以在区块… 中, 以太坊虚拟机 (Ethereum
virtual machine, EVM)将会自动截断… KEVM 是一种形式化分析的框架, 它利用K 框架构建了基于…
virtual machine, EVM)将会自动截断… KEVM 是一种形式化分析的框架, 它利用K 框架构建了基于…
[PDF][PDF] 以太坊中间语言的可执行语义
韩宁， 李希萌， 张倩颖， 王国辉， 施智平， 关永 - 软件学报, 2021 - jos.org.cn
… This work formalizes Yul—the Ethereum intermediate language. The core of this … KEVM:
A complete formal semantics of the Ethereum virtual machine. In: Proc. of the 31st Computer …
A complete formal semantics of the Ethereum virtual machine. In: Proc. of the 31st Computer …
智能合约漏洞检测研究综述.
李雷孝， 郑岳， 高昊昱， 熊啸， 牛铁铭… - Journal of Frontiers …, 2022 - search.ebscohost.com
… 的虚拟机,也称为以 太坊虚拟机(Ethereum virtual machine,EVM).它通过 实现微内核来支持少量
… KEVM: a complete formal semantics of the ethereum virtual machine[C]//Proceedings of the …
… KEVM: a complete formal semantics of the ethereum virtual machine[C]//Proceedings of the …
[PDF][PDF] VMOffset: 虚拟机自省中一种语义重构改进方法
陈兴蜀， 蔡梦娟， 王伟， 王启旭， 金鑫 - 软件学报, 2021 - jos.org.cn
… virtual machine introspection tools to complete the process of semantic reconstruction…
The VMOffset prototype system is implemented on the KVM (kernel-based virtual machine) …
The VMOffset prototype system is implemented on the KVM (kernel-based virtual machine) …
[PDF][PDF] 面向MSVL 的智能合约形式化验证
王小兵， 杨潇钰， 舒新峰， 赵亮 - 软件学报, 2021 - jos.org.cn
… 编写[6],然后编译为以太坊虚拟机(Ethereum virtual machine,简称EVM)的字节码,并运行在EVM
之… Kevm: A complete formal semantics of the Ethereum virtual machine. In: Proc. of the IEEE …
之… Kevm: A complete formal semantics of the Ethereum virtual machine. In: Proc. of the IEEE …
基于形式化方法的智能合约验证研究综述
张文博， 陈思敏， 魏立斐， 宋巍… - 网络与信息安全学报, 2022 - infocomm-journal.com
… ,消息可由交易或 以太坊虚拟机(EVM,Ethereum virtual machine) 字节码触发.消息触发方式有4
种,… KEVM: a complete formal semantics of the Ethereum virtual machine[C]//Proceedings of …
种,… KEVM: a complete formal semantics of the Ethereum virtual machine[C]//Proceedings of …
[PDF][PDF] 智能合约安全漏洞检测研究进展
崔展齐， 杨慧文， 陈翔， 王林章 - 软件学报, 2024 - jos.org.cn
… 环境划分为3 个类别, 即Solidity 层,EVM (Ethereum virtual machine, 以太坊虚 拟机) 层和区块链
层, … 的基础 上构建了KEVM 框架, 该框架可用于分析和验证智能合约程序. KEVM 考虑了EVM 的…
层, … 的基础 上构建了KEVM 框架, 该框架可用于分析和验证智能合约程序. KEVM 考虑了EVM 的…
Poetry as Dreaming, Dreaming as Poetry: The Dialogue Between Dream of the Red Chamber (Hongloumeng 紅樓夢, Story of the Stone 石頭記) and Middle Tang 中 …
KM Wilson - 2023 - search.proquest.com
… serendipity that can capture how meaning and non-meaning interact, and how dreams and
… whose subtlety and complexity has prevented its full articulation in the secondary literature. …
… whose subtlety and complexity has prevented its full articulation in the secondary literature. …
[PDF][PDF] 智能合约漏洞检测技术综述
董伟良， 刘哲， 刘逵， 黎立， 葛春鹏， 黄志球 - 软件学报, 2023 - jos.org.cn
: 智能合约作为可信的去中心化应用, 获得了广泛的关注, 但其安全漏洞问题对其可靠性带来了
巨大威胁. 为此, 研究者们利用各种前沿技术(如模糊测试, 机器学习, 形式化验证等) 研究了多种…
巨大威胁. 为此, 研究者们利用各种前沿技术(如模糊测试, 机器学习, 形式化验证等) 研究了多种…