Merkliste 
 1 Ergebnisse 
 
1

Efficient and provable local capability revocation using un..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021