Efficient and provable local capability revocation using uninitialized capabilities.
Aïna Linn GeorgesArmaël GuéneauThomas Van StrydonckAmin TimanyAlix TrieuSander HuyghebaertDominique DevrieseLars BirkedalPublished in: Proc. ACM Program. Lang. (2021)