您的位置： 专家智库 > >

何龙

作品数：31 被引量：0H指数：0
供职机构：烟台大学更多>>
相关领域：自动化与计算机技术政治法律经济管理更多>>

合作作者

文献类型

  • 24篇专利
  • 1篇学位论文

领域

  • 6篇自动化与计算...
  • 1篇政治法律

主题

  • 24篇漏洞
  • 18篇漏洞检测
  • 14篇网络
  • 14篇控制流
  • 12篇网络安全
  • 12篇网络安全技术
  • 12篇流图
  • 12篇控制流图
  • 12篇安全技术
  • 8篇代码
  • 8篇合约
  • 4篇神经网
  • 4篇神经网络
  • 4篇字节
  • 4篇字节码
  • 4篇误报
  • 4篇误报率
  • 4篇漏洞分析
  • 4篇操作码
  • 2篇代码覆盖

机构

  • 25篇烟台大学

作者

  • 25篇何龙
  • 4篇刘兆伟
  • 4篇赵金东

年份

  • 17篇2024
  • 7篇2023
  • 1篇2017
共 31 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于神经网络的智能合约漏洞检测方法
本发明涉及网络安全技术领域，具体为一种基于神经网络的智能合约漏洞检测方法；该检测方法通过简化和聚合处理控制流图，剔除和合并了一些非关键节点，突出关键节点和执行顺序，进而将控制流图转化为合约树图，在保留了合约信息的完整性基...
赵相福何龙王奕辰崔振东陈海悦甄子贤
基于语义信息引导模糊测试的智能合约漏洞检测方法
本发明涉及网络安全技术领域，具体为基于语义信息引导模糊测试的智能合约漏洞检测方法，该检测方法根据待检智能合约中函数之间的关系确定目标函数；然后，对目标函数进行空间压缩、空间分裂和空间降维，得到多个降维子空间；接着，对每个...
赵相福王奕辰何龙
基于图神经网络的智能合约漏洞检测方法、系统和设备
本发明涉及网络安全技术领域，具体为基于图神经网络的智能合约漏洞检测方法、系统和设备，该检测方法将基于操作码基础块中的特征指令得到的特征指令向量，进行语义特征提取处理，得到语义特征向量；同时，提取控制流图中基本块之间的边关...
赵相福甄子贤张金凯王奕辰陈海悦何龙
基于约束引导模糊测试的智能合约漏洞检测方法和系统
本发明涉及智能合约漏洞检测领域，具体为一种基于约束引导模糊测试的智能合约漏洞检测方法和系统，采用约束引导灰盒模糊测试的方式对智能合约进行漏洞检测，对智能合约的数据流和控制流进行静态分析，基于静态分析结果引入一种全新的智能...
赵相福何龙
一种基于神经网络的智能合约漏洞检测方法
本发明涉及网络安全技术领域，具体为一种基于神经网络的智能合约漏洞检测方法；该检测方法通过简化和聚合处理控制流图，剔除和合并了一些非关键节点，突出关键节点和执行顺序，进而将控制流图转化为合约树图，在保留了合约信息的完整性基...
赵相福何龙王奕辰崔振东陈海悦甄子贤
一种基于中间表示的智能合约漏洞检测方法、系统和设备
本发明涉及网络安全技术领域，具体为一种基于中间表示的智能合约漏洞检测方法、系统和设备；该检测方法，将待检智能合约的Solidity代码转换为中间表示，既简化了合约分析过程，又能够保留Solidity源代码中的重要语义信息...
赵相福王世纪何龙苟乃翔杨佳慧张菡峰
基于源代码和字节码的智能合约漏洞检测方法和系统
本申请涉及电数字数据处理技术领域，具体为基于源代码和字节码的智能合约漏洞检测方法和系统；为解决现有技术中智能合约误报率高，检测准确率低的技术问题，本申请首先基于待检智能合约的字节码，获取语义事实，并基于语义事实进行字节码...
赵相福张菡峰何龙杨佳慧王世纪苟乃翔
基于静态分析与模糊测试结合的智能合约漏洞检测方法
本发明涉及网络安全技术领域，具体为基于静态分析与模糊测试结合的智能合约漏洞检测方法；该漏洞检测方法，首先基于关键变量静态提取函数调用序列，以引导产生符合交易序列的测试用例；然后，基于函数调用序列生成初始测试用例，接着将测...
赵相福 杨佳慧 张菡峰 陈海悦何龙
一种智能合约安全漏洞检测方法和系统
本发明涉及网络安全技术领域，具体为一种智能合约安全漏洞检测方法和系统，将智能合约字节码反编译处理为三地址码形式的中间语言，并构建智能合约的控制流图，提取控制流图的语义信息并存储为Datalog事实，以更好地表示智能合约的...
赵相福陈海悦刘兆伟赵金东王奕辰何龙甄子贤
一种基于漏洞子图的智能合约漏洞检测方法、系统和设备
本发明涉及网络安全技术领域，具体为一种基于漏洞子图的智能合约漏洞检测方法、系统和设备，该检测方法基于一些终止指令从智能合约构建控制流图，并根据漏洞关键词得到潜在漏洞节点，并基于潜在漏洞节点将控制流图拆分为多个漏洞子图，接...
赵相福王奕辰何龙
全选 清除 导出
共3页<123>
聚类工具0