Aarhus University Seal / Aarhus Universitets segl

Armaël Guéneau

  1. 2021
  2. Published

    Efficient and provable local capability revocation using uninitialized capabilities. / Georges, Aïna Linn; Guéneau, Armaël; Van Strydonck, Thomas; Timany, Amin; Trieu, Alix; Huyghebaert, Sander; Devriese, Dominique; Birkedal, Lars.

    In: Proceedings of the ACM on Programming Languages, Vol. 5, No. POPL, 6, 01.2021.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review