Formalizing Stack Safety As a Security Property

Sean Noble Anderson,Roberto Blanco,Leonidas Lampropoulos,Benjamin C. Pierce,Andrew Tolmach

2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF（2023）

引用 0|浏览28

关键词

compiler,data structure,functional abstraction mechanisms,high-level language concept,ISA-level stack,procedural abstraction mechanisms,security property,stack memory protection,stack safety

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要