When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.

Carmine Abate,Arthur Azevedo de Amorim,Roberto Blanco,Ana Nora Evans,Guglielmo Fachini,Catalin Hritcu,Theo Laurent,Benjamin C. Pierce,Marco Stronati,Andrew Tolmach

PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18)（2018）

引用 48|浏览1

关键词

secure compilation,formal definition,low-level attacks,undefined behavior,compartmentalization,mutually distrustful components,dynamic compromise,software fault isolation,reference monitors,safety properties,machine-checked proofs,testing,foundations

AI 理解论文

溯源树

样例

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

Chat Paper

正在生成论文摘要