Merkliste 
 1 Ergebnisse 
 
1

A Type System for Privacy Properties:

, In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security,