Spectre Declassified: Reading from the Right Place at the Wrong Time.
该论文研究推测执行（speculative execution）与信息流语言中“去分类”（declassify）机制之间的相互作用。在实用的信息流编程语言中，程序员可通过 declassify 构造声明有意泄露的数据，例如从私钥计算出的签名
#compiler-security
共收录 4 条相关情报。
← 返回所有主题Доверя'й, но проверя'й: SFI safety for native-compiled Wasm.
本文提出了一种在原生编译的 WebAssembly（Wasm）上实现软件故障隔离（SFI）安全保证的方法。研究背景在于，WebAssembly 最初设计为在浏览器中以解释或 JIT 方式运行，其内存安全依赖于运行时检查；然而随着 Wasm
Verbatim: A Verified Lexer Generator.
本文提出并实现了一个名为 Verbatim 的可执行词法分析器（lexer），其开发和验证均基于 Coq 证明助手。词法分析器和解析器常被用作大型软件系统的前端，负责连接外部输入与系统内部逻辑，因此成为攻击者试图攻陷整个系统的天然目标。作者
Your Compiler is Backdooring Your Model: Understanding and Exploiting Compilation Inconsistency Vulnerabilities in Deep Learning Compilers.
本研究首次系统性地揭示了深度学习编译器中的编译不一致性漏洞（Compilation Inconsistency Vulnerability）。作者发现，即使是官方、未经修改的深度学习编译器，也可能在模型编译过程中静默改变模型语义，从而引入隐