paperbot · PL 论文追踪

全部论文 待读 收藏

P2 The Guardian Council

守护者委员会
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10 · 论文关注系统安全防护方案（如缓冲区溢出、控制流完整性、侧信道、恶意软件），属于安全与体系结构方向，与用户关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析没有直接交集。摘要也未涉及程序分析、形式化验证或 LLM 用于 PL 的内容。引用 6 inbox
Sam Ainsworth, Timothy M. Jones
安全与隐私语言与体系结构
crossref: 2026-09-12

AI 速览

一句话：提出 Guardian Council 系统安全防护方案，以应对不可信程序与用户带来的攻击。

系统安全正面临不可信程序与系统用户的严峻挑战。当前使用的防护措施，如缓冲区溢出防护、控制流完整性、侧信道防御和恶意软件检测，均存在局限。软件保护方案虽然灵活，但开销往往过高；硬件保护方案虽然快速，但约束过多或过于陈旧，难以实用。针对这一问题，论文提出名为 Guardian Council 的防护机制，试图在灵活性与性能之间取得平衡，以更有效地抵御各类系统攻击。摘要仅阐述了现有方案的不足与设计动机，未给出具体技术细节与评估结果。

问题
当前系统安全防护（缓冲区溢出、控制流完整性、侧信道、恶意软件）存在局限，软件方案开销高，硬件方案约束多或不实用，难以应对不可信程序与用户。
方法
提出名为 Guardian Council 的防护方案，旨在兼顾软件方案的灵活性与硬件方案的高效性。
评估
摘要未提供具体评估；仅从动机层面论述了现有防护机制的不足。
原文摘要（Abstract）

Systems security is becoming more challenging in the face of untrusted programs and system users. Safeguards against attacks currently in use, such as buffer overflows, control-flow integrity, side channels and malware, are limited. Software protection schemes, while flexible, are often too expensive, and hardware schemes, while fast, are too constrained or out-of-date to be practical.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot5421,
  title = {The Guardian Council},
  author = {Sam Ainsworth and Timothy M. Jones},
  booktitle = {ASPLOS},
  year = {2020},
  doi = {10.1145/3373376.3378463}
}