Merkliste 
 1 Ergebnisse 
 
1

XSinator.com: From a Formal Model to the Automatic Evaluati..:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,
Knittel, Lukas ; Mainka, Christian ; Niemietz, Marcus.. - p. 1771-1788 , 2021