SmartMemory: Detecting On-chain-off-chain Communication Inconsistency for Smart Contract via Memory-based Agent
该论文研究智能合约中链上-链下通信（On-chain/Off-chain Communication, OFC）引发的安全问题。随着跨链桥、现实世界资产代币化（RWA）以及法币背书稳定币等应用快速增长，OFC 已成为去中心化金融的关键基础设
#program-analysis
共收录 10 条相关情报。
← 返回所有主题State-Aware Fuzzing of JavaScript Engines with LLM-Guided Instrumentation
该论文聚焦于 JavaScript 引擎的安全测试难题。现代 Web 安全高度依赖 JS 引擎的正确性，而引擎本身结构复杂、长期存在高危缺陷。当前最先进的模糊测试器（fuzzer）面临一个关键瓶颈——覆盖度平台期（coverage plat
Endogenous Interpretation
该论文提出「内生解释」(endogenous interpretation) 这一理论视角,主张程序、解释器、机器以及派生的执行语言并不是彼此分离的语义对象,而是同一个可执行状态转移关系的不同参数化形式。作者进一步指出,每一种具体实现都携带
Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits
本文研究的是零知识机器学习（ZKML）电路中的「冗余检查」问题及其可证明安全的去膨胀（debloating）技术。背景是：面向神经网络推理的零知识证明系统会把模型编译成大规模算术约束系统，其中包含大量范围证明、符号查找（sign looku
The 20th Workshop on Programming Languages and Analysis for Security (PLAS 2025).
本文是第20届编程语言与安全分析研讨会(PLAS 2025)的会议通知。PLAS为学术界和工业界提供了一个探讨如何利用编程语言和程序分析技术来增强软件系统安全性的论坛，覆盖范围从底层编译器到机器学习模型和智能合约等新兴领域。研讨会鼓励提出新
Demo: Detecting Third-Party Library Problems with Combined Program Analysis.
本文介绍了一种结合静态与动态程序分析的方法，用于推断和执行服务端 JavaScript 中第三方库的权限。现代软件开发广泛依赖第三方库，但这些库通常未经人工审查，可能引入 bug、漏洞或恶意攻击，最终影响终端用户。作者提出一个以 RWX（读
PLAS: The 18th Workshop on Programming Languages and Analysis for Security.
本文是关于第18届编程语言与安全分析研讨会（PLAS）的会议介绍。PLAS 是一个专注于探索和评估编程语言与程序分析技术在安全领域应用的学术论坛，覆盖范围广泛，从编译器、机器学习模型到智能合约等各类软件系统。研讨会鼓励提出新颖的、探索性的想
Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications.
本文提出一种名为 VetSC 的新型自动化安全审查技术，针对去中心化应用（DApps）中的智能合约。由于 DApps 的业务逻辑通常由链上合约与链下界面共同组成，传统静态分析难以直接从合约代码中提取高层业务语义，也无法自动确定需要验证的安全
From Signals to Behaviors: Evidence-Based Android Malware Detection
该论文针对Android恶意软件检测问题，指出现有方法基于表面信号（如学习特征或代码片段）进行检测，容易产生误报和漏报，因为偏离代理信号并不等同于恶意。作者提出行为导向的检测方法，并实现系统Praxis。Praxis采用假设-确认-判断流水
JUNID: Empowering Static Analysis with Asymptotically Optimal Intersection with Incomplete Sentences.
该论文提出了一种名为JUNID的方法，旨在提升静态分析中处理不完整句子交集问题的渐近最优性。静态分析是软件安全中的重要技术，用于在不执行程序的情况下检测潜在漏洞。然而，当分析涉及不完整的程序片段或部分代码时，现有交集算法的效率可能下降。JU