Efficient and Provable Local Capability Revocation using Uninitialized Capabilities

Georges, AL; Gueneau, A; Van Strydonck, T; Timany, A; Trieu, A; Huyghebaert, S; Devriese, D; Birkedal, L

Georges, AL (corresponding author), Aarhus Univ, Aarhus, Denmark.

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021; 5 ():

Abstract

Capability machines are a special form of CPUs that offer fine-grained privilege separation using a form of authority-carrying values known as capabil......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索