-
公开(公告)号：CN119666934A
公开(公告)日：2025-03-21
申请号：CN202411841550.6
申请日：2024-12-13
IPC: G01N27/07
Abstract: 本发明属于生物检测传感器技术领域，具体为一种基于叉指电极的五羟色胺表面应力生物传感器及其制备方法；所述生物传感器包括反应层、传感层、绝缘层和叉指电极层；叉指电极层上表面设置有传感层；传感层上表面设置有绝缘层；绝缘层上表面设置有反应层；反应层上固定有转铁蛋白层；形成的五羟色胺表面应力生物传感器为非悬空或非悬浮结构；按照生物传感器的结构通过旋涂、溅射等方法制备；本发明通过转铁蛋白与五羟色胺特异性结合，可以直接将五羟色胺的浓度信号转换成电信号，相较于传统检测五羟色胺的方式，传感器制备简单，检测线低、响应时间快、操作简单、成本低。
-
公开(公告)号：CN119228375A
公开(公告)日：2024-12-31
申请号：CN202411336161.8
申请日：2024-09-24
Applicant: 华中科技大学
Abstract: 本发明公开了一种基于异常代币流的价格操纵攻击合约检测方法及系统。首先，对于合约的所有外部调用，从字节码层面提取相关信息，包括目标合约地址和目标函数选择子。然后，基于生成的过程间的控制流图，通过提取的调用信息扩展基本块作为节点，并结合跳转关系和跨合约分析构建跨合约的函数调用点图。接着，基于外部调用的具体行为，提取其对应的代币操作，并构建代币流图。最后，遍历代币流图中的敏感路径，并根据预定义的价格操纵模式判断合约是否用于价格操纵攻击。本发明仅从合约字节码出发，无需任何交易信息，因此一旦具有潜在价格操纵攻击意图的智能合约部署上链，本发明能够立即检测并生成预警信息。
-
公开(公告)号：CN118468266A
公开(公告)日：2024-08-09
申请号：CN202410500300.X
申请日：2024-04-24
Applicant: 华中科技大学
IPC: G06F21/55
Abstract: 本发明公开了一种基于事件交互的小程序动静态结合分析方法及系统，包括：1)基于事件驱动的小程序静态分析，通过分析小程序渲染层组件所绑定的触发事件及逻辑层的相应事件处理函数，构建小程序页面状态转移图与回调函数控制流图，显著增强了静态分析的范围和精度。再结合静态数据流分析，为小程序构建一种包含页面转移、控制依赖、数据依赖的综合拓扑结构，即小程序依赖图。2)在动态分析部分，以小程序依赖图为指导，分别以分包加载和敏感行为触发为目标，根据小程序依赖图分析可能的执行路径，对执行路径进行探索，尽可能触发小程序分包加载和敏感行为。并对小程序进行插桩，对组件的敏感行为的运行状态进行监测，得到小程序敏感行为集合。
-
公开(公告)号：CN119313334A
公开(公告)日：2025-01-14
申请号：CN202411287496.5
申请日：2024-09-13
Applicant: 华中科技大学
Abstract: 本发明公开了一种基于突变的加密货币钱包安全性能测试方法及系统。将钱包扩展作为输入，分别获取模拟器、安全警报系统和用户界面选择种子，这些种子是用户对钱包扩展的请求；再对获取的种子进行修改并将被修改的数据作为钱包扩展的外部请求提供给钱包扩展；接着根据获取到的动态执行结果来验证种子是否可以被滥用为攻击媒介，以检测出最终会受影响的组件，因而能够对区块链钱包与交易相关的组件的安全性进行检测，从而发现可能被攻击者滥用或导致用户失误的组件载体，进而避免造成资产损失。
-
公开(公告)号：CN119312297A
公开(公告)日：2025-01-14
申请号：CN202411279755.X
申请日：2024-09-12
Applicant: 华中科技大学
Abstract: 本发明提供基于EVM内置Vector Clock的智能合约未初始化全局资源读取检测系统及方法，引入Vector Clock机制到智能合约执行环境中，实现了对跨合约调用中资源访问顺序的精确跟踪。设计了一套自动化的资源状态跟踪机制，结合Vector Clock实现了对资源初始化状态的精确监控。同时，本发明还设计了一个完整的EVM扩展层，包括Vector Clock管理、资源状态跟踪、指令注入和异常处理等模块。该检测系统及方法提供了一种在以太坊虚拟机(EVM)层面实现的未初始化全局资源读取检测机制。在提供的检测方法中通过内置Vector Clock和资源状态跟踪，从而能够实现高效、准确且对现有合约代码无侵入的安全检测方法。
-
Patent Agency Ranking
公开(公告)号：CN119201273A
公开(公告)日：2024-12-27
申请号：CN202411265849.1
申请日：2024-09-10
Applicant: 华中科技大学
Abstract: 本发明公开了以太坊智能合约细粒度分析方法，本发明涉及智能合约分析工具技术领域，包括：转换EVM合约字节码：利用Gigahorse框架将以太坊智能合约字节码转换为高级中间表示；构建控制流图：基于Gigahorse生成的高级中间表示，使用反向传播技术构建详细的控制流图；模拟EVM内存操作：通过模拟以太坊虚拟机的内存操作，精确识别和追踪内存中的变量。本发明实现了对以太坊智能合约的全面细粒度分析，这种方法的优势在于它能够直接处理字节码，无需源代码，因此可以应用于各种场景，包括已部署的合约和闭源合约。通过结合高级中间表示、控制流分析、内存操作模拟和符号执行，本方法能够深入理解合约的行为和潜在风险。
-
公开(公告)号：CN119293793A
公开(公告)日：2025-01-10
申请号：CN202411302020.4
申请日：2024-09-18
Applicant: 华中科技大学
IPC: G06F21/57 , G06F11/362 , G06F11/3698 , H04L9/40
Abstract: 本发明提供一种基于动态插桩的智能合约Temporal Property监控方法及系统，包括以下内容：设计针对智能合约的temporal property specification语言、优化的LTL转换算法、实现对specification中出现变量的动态监测，该方法在以太坊虚拟机(EVM)层面实现Vector Clock机制和资源状态跟踪，并提供多层Mapping追溯的SHA3指令缓存与Slot逆向分析系统。本发明在以太坊虚拟机(EVM)层面实现Vector Clock机制和资源状态跟踪，通过结合智能合约特性的specification设计、高效的LTL转换以及精确的变量监测，实现了对智能合约temporal property的全面且高效的监控。能够高效、准确且对现有合约代码无侵入的安全检测。
-
公开(公告)号：CN119232435A
公开(公告)日：2024-12-31
申请号：CN202411258754.7
申请日：2024-09-09
Applicant: 华中科技大学
IPC: H04L9/40 , G06Q30/0251
Abstract: 本发明公开了一种利用大语言模型分析以太坊攻击并生成攻击报告的方法，本发明涉及模型分析技术领域，包括攻击交易的获取与输入：首先，通过部署节点监控来从以太坊网络中收集潜在的攻击交易，该监控通过连接至以太坊的全节点，实时监控区块链上所有新的交易和区块，它自动地识别那些与已知攻击模式相似的交易，并分析交易模式，以识别异常或可疑的交易行为，这种高效的筛选过程能够准确地挑选出涉及智能合约恶意行为的交易，这些交易随后将作为后续分析流程的基础数据。该利用大语言模型分析以太坊攻击并生成攻击报告的方法，通过大语言模型的引入，极大地减少了人工审查的工作量，实现了攻击交易分析的自动化与智能化，显著提高了分析效率。
-
公开(公告)号：CN118246013A
公开(公告)日：2024-06-25
申请号：CN202410412880.7
申请日：2024-04-08
Applicant: 华中科技大学
Abstract: 本发明公开了一种基于语义信息提取的Android应用跨语言静态分析方法及系统。先提取本地代码的语义摘要，然后将JNI接口函数的使用模式转换为相应的Java字节码操作，并将本地库函数调用提升为字节码调用。通过利用本地二进制数据流分析，可以揭示这些操作之间的跨语言数据流关系，为本地代码分析提供了一个有前景的方向。本发明能够有效地桥接Android应用中的Dex字节码和本地代码之间的分析鸿沟，从而实现了网络信息安全检测。
-
公开(公告)号：CN119473280A
公开(公告)日：2025-02-18
申请号：CN202411439412.5
申请日：2024-10-15
Applicant: 华中科技大学
Abstract: 本发明涉及人机交互和软件工程领域，提供一种基于多模态大模型的用户界面代码生成方法、系统及设备，该方法包括如下步骤：根据UI设计图构建页面转换图；提取UI设计图中的UI组件并分析其功能，得到UI组件分析结果；将页面转换图、UI组件分析结果以及UI设计图进行整合生成提示词；将提示词输入多模态大模型，多模态大模型根据提示词生成用户界面代码。本发明解决了当前UI开发中存在的效率低下、复杂设计难以处理、交互逻辑理解有限等问题。本发明为声明式UI框架的广泛应用和进一步发展提供了强有力的技术支持，推动了整个UI开发生态系统的进步。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.029 seconds)
